Login / Signup

Fortuna: Model Checking Priced Probabilistic Timed Automata.

Jasper BerendsenDavid N. JansenFrits W. Vaandrager
Published in: QEST (2010)
Keyphrases