DMCA

Multi-core reachability for timed automata (2012)

Cached

Download Links

by Andreas Dalsgaard , Alfons Laarman , Kim G. Larsen , Mads Chr Olesen , Jaco Van De Pol
Venue:In FORMATS, LNCS 7595
Citations:2 - 2 self