Eunyoung Kang, Stephan Merz. Predicate Diagrams for the Verification of Real-Time Systems.
The Fifth International Workshop on Automated Verification of Critical Systems 2005 - AVoCS'05, Ranko Lazic, Rajagopal Nagarajan, Nikolaos Papanikolaou, Sep 2005, Coventry/UK.
⟨inria-00000631⟩