Login / Signup

Symbolic model checking of process networks using interval diagram techniques.

Karsten StrehlLothar Thiele
Published in: ICCAD (1998)
Keyphrases
  • symbolic model checking
  • artificial intelligence
  • web services
  • machine learning
  • multi agent systems
  • computational complexity