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:75 - 8 self