Search results for: T A Henzinger
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 228-240
IET Systems Biology > 2010 > 4 > 6 > 441 - 452
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 228-240
IET Systems Biology > 2010 > 4 > 6 > 441 - 452