Additional Metadata
Publisher Springer
Journal Formal Aspects of Computing
Citation
Markovski, J, Argenio, P.R, Baeten, J.C.M, & de Vink, E.P. (2012). Reconciling real and stochastic time: the need for probabilistic refinement. Formal Aspects of Computing, 24(4-6), 497–518.