Filters: Author is Jasen Markovski [Clear All Filters]
“Reconciling real and stochastic time: the need for probabilistic refinement”, Formal Aspects of Computing, vol. 24, pp. 497-518, 2012. paper-124.pdf (568 KB)
, “Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications”, QFM, vol. 13. 2009.
,