Search results
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Contributed Papers > 215-229
Lecture Notes in Computer Science > FM 2008: Formal Methods > Session 4. Real-Time and Concurrency > 132-147
Lecture Notes in Computer Science > TAPSOFT'93: Theory and Practice of Software Development > 584-598
UML for Real > 205-220
Journal of Computer and System Sciences > 2005 > 71 > 1 > 34-69