From ATP to Timed Graphs and Hybrid Systems (1993)

Cached

Download Links

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