Publications
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)
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.