Implementation of timed automata: an issue of semantics or modeling (2005)

Cached

Download Links

by Karine Altisen , Stavros Tripakis
Venue:In Proc. 3rd Int. Conf. Formal Modelling and Analysis of Timed Systems (FORMATS’05), Lecture Notes in Computer Science
Citations:24 - 3 self