Modeling Urgency in Timed Systems (1997)

by Sébastien Bornot , Joseph Sifakis , Stavros Tripakis
Venue:In International Symposium: Compositionality - The Significant Difference
Citations:71 - 17 self