Predicate diagrams for the verification of real-time systems

E.-Y. Kang, Stephan Merz

Research output: Contribution to journalJournal articleResearchpeer-review

Original languageEnglish
JournalFormal Aspects of Computing
ISSN0934-5043
DOIs
Publication statusPublished - 2007

Cite this