Strict Divergence for Probabilistic Timed Automata

From MaRDI portal
Publication:3184704

DOI10.1007/978-3-642-04081-8_41zbMath1254.68137OpenAlexW1528600913MaRDI QIDQ3184704

Jeremy Sproston

Publication date: 22 October 2009

Published in: CONCUR 2009 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-04081-8_41




Related Items (3)



Cites Work




This page was built for publication: Strict Divergence for Probabilistic Timed Automata