Predicate diagrams for the verification of real-time systems

E.-Y. Kang, Stephan Merz

Research output: Contribution to journalJournal articleResearchpeer-review

Cite this