Compiling Real-Time Specifications into Extended Automata (1992)

Cached

Download Links

by Xavier Nicollin , Joseph Sifakis , Sergio Yovine
Venue:IEEE Transactions on Software Engineering
Citations:77 - 8 self