Decomposing Verification of Timed I/O Automata

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30206-3_8 ◽

2004 ◽

pp. 84-101 ◽

Author(s):

Dilsun Kırlı Kaynar ◽

Nancy Lynch

Download Full-text