An Extension of the Inverse Method to Probabilistic Timed Automata (2009)

Cached

Download Links

by Étienne André , Laurent Fribourg , Jeremy Sproston
Citations:3 - 3 self