von Albert Benveniste ; Benoît Caillaud ; Dejan Nickovic ; Roberto Passerone ; Jean-Baptiste Raclet ; Philipp Reinkemeier ; Alberto Sangiovanni-Vincentelli ; Werner Damm ; Thomas A. Henzinger ; Kim Guldstrand Larsen
von Eckard Böde ; Matthias Büker ; Werner Damm ; Günter Ehmen ; Martin Fränzle ; Sebastian Gerwinn ; Thomas Goodfellow ; Kim Grüttner ; Bernhard Josko ; Björn Koopmann ; Thomas Peikenkamp ; Frank Poppen ; Philipp Reinkemeier ; Michael Siegel ; Ingo Stierand
Legay, Axel Formal Modeling and Analysis of Timed Systems Cham [u.a.] : Springer, 2014 (2014), Seite 206-221 Online-Ressource (X, 253 p. 74 illus, online resource)