TY  - RPRT
TI  - Continuous Markovian Logics - Axiomatization and Quantified Metatheory
AU  - Radu Mardare
AU  - Luca Cardelli
AU  - Kim G. Larsen
PY  - 2012
DO  - 10.2168/lmcs-8(4:19)2012
UR  - https://arxiv.org/abs/1211.5190
ID  - 1211.5190
ER  -