From ATP to Timed Graphs and Hybrid Systems (1993)

Cached

Download Links

by Xavier Nicollin , Joseph Sifakis , Sergio Yovine
Citations:81 - 9 self