Approximations for fixpoint computations in symbolic model chec king

Roderick Paul Bloem, I.-H. Moon, K. Ravi, F. Somenzi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationWorld Multiconference on Systemics, Cybernetics and Informatics
Publisher.
Pages701-706
Publication statusPublished - 2000

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Cite this