Publications
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)
paper-124.pdf (568 KB), “Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications”, QFM, vol. 13. 2009.