Main » Synth-ICR » 2010 »

2010


Anthology ID:
2010.synthesis_series-2010Kaynar
Year:
2010
BibTeX:
Download

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