Model Checking Probabilistic Timed Automata with One or Two Clocks
Jurdzinski, Marcin ; Laroussinie, Francois ; Sproston, Jeremy
Logical methods in computer science, 2008-09, Vol.4, Issue 3
[Periódico revisado por pares]
Logical Methods in Computer Science e.V
Texto completo disponível