Model Checking Probabilistic Timed Automata with One or Two Clocks - Sciweavers

33

click to vote

more CORR 2008 ...

www.di.unito.it

Tweet