"Formal Modeling and Analysis of Timed Systems - 8th International ..."

Krishnendu Chatterjee, Thomas A. Henzinger (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics