2012-07-01
Reconciling real and stochastic time: the need for probabilistic refinement
Publication
Publication
Formal Aspects of Computing , Volume 24 - Issue 4-6 p. 497- 518
Additional Metadata | |
---|---|
Springer | |
Formal Aspects of Computing | |
Organisation | 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. |