Article thumbnail
Location of Repository

Verifying Quantitative Properties of Continuous Probabilistic Timed Automata

By Marta Kwiatkowska, Gethin Norman, Roberto Segala and Jeremy Sproston
Publisher: Springer Berlin Heidelberg
Year: 2007
DOI identifier: 10.1007/3-540-44618-4_11
OAI identifier:
Provided by: MUCC (Crossref)

Suggested articles


To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.