2010

doi dblp
The Theory of Timed I/O Automata, Second Edition
Dilsun Kirli Kaynar | Nancy A. Lynch | Roberto Segala | Frits W. Vaandrager
2010

2006

doi dblp
The Theory of Timed I/O Automata
Dilsun Kirli Kaynar | Nancy A. Lynch | Roberto Segala | Frits W. Vaandrager
2006

Search