Publications
Filters: Author is Erik P. de Vink [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)