From ATP to Timed Graphs and Hybrid Systems (1993)
Cached
Download Links
- [www-verimag.imag.fr]
- [www-verimag.imag.fr]
- DBLP
Other Repositories/Bibliography
by
Xavier Nicollin
,
Joseph Sifakis
,
Sergio Yovine
| Citations: | 78 - 9 self |
Document Versions
| From ATP to Timed Graphs and Hybrid Systems –Xavier Nicollin , Joseph Sifakis, Sergio Yovine — 1993 |
| From ATP to Timed Graphs and Hybrid Systems –Xavier Nicollin, Joseph Sifakis, Sergio Yovine — 1993 |
