Search results for: Vaughan Coulthard
Lecture Notes in Computer Science > Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems > Regular Papers > 52-67
Lecture Notes in Computer Science > Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems > Regular Papers > 52-67