Model Checking for Probabilistic Timed Automata
Formal Methods in System Design - Netherlands
doi 10.1007/s10703-012-0177-x
Full Text
Open PDFAbstract
Available in full text
Date
October 12, 2012
Authors
Publisher
Springer Science and Business Media LLC