Search results for: J. Sifakis
Lecture Notes in Computer Science > Hybrid Systems > 179-208
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > Scheduling > 106-120
Lecture Notes in Computer Science > Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency > 398-410
IEEE Software > 2011 > 28 > 3 > 41 - 48