|
[NSY92]
X. Nicollin, J. Sifakis and S. Yovine.
Compiling real-time specifications into extended automata.
IEEE Transactions on Software Engineering, 18(9), pages 794-804.
1992.
[bib]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|