Springer
Formal Aspects of Computing
Directie

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