DMCA

Timed automata: Semantics, algorithms and tools (2004)

by Johan Bengtsson , Wang Yi
Venue:Lectures on Concurrency and Petri Nets: Advances in Petri Nets, number 3098 in LNCS
Citations:168 - 4 self