Login / Signup

Decision-diagram-based techniques for bounded reachability checking of asynchronous systems.

Andy Jinqing YuGianfranco CiardoGerald Lüttgen
Published in: Int. J. Softw. Tools Technol. Transf. (2009)
Keyphrases
  • state space
  • complex systems
  • efficient computation
  • graphical models
  • knowledge based systems