Filters: Author is Jos C. M. Baeten [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)
, “Guest editors' introduction: Special issue on Probabilistic Techniques for the Design and Analysis of Systems”, J. Log. Algebr. Program., vol. 56, pp. 1-2, 2003.
,