Model checking for probabilistic timed automata
Norman, Gethin, Parker, David, Sproston, JeremyVolume:
43
Language:
english
Journal:
Formal Methods in System Design
DOI:
10.1007/s10703-012-0177-x
Date:
October, 2013
File:
PDF, 1.04 MB
english, 2013