Jump to navigation
Pedro R. D'Argenio
Filters:
Author
is
Erik P. de Vink
[Clear All Filters]
2012
J. Markovski
,
D'Argenio, P. R.
,
Baeten, J. C. M.
, and
de Vink, E. P.
,
“
Reconciling real and stochastic time: the need for probabilistic refinement
”
,
Formal Aspects of Computing
, vol. 24, pp. 497-518, 2012.
DOI
Google Scholar
paper-124.pdf
(568 KB)
Main menu
Home
Short CV
Projects
Publications
Students
Cambalache
Facultad de
Matemática, Astronomía, Física y Computación
Sección de Ciencias de la Computación
Dependable System Group
Home
Short CV
Projects
Publications
ORCID
DBLP
Google Scholar
Scopus
Research Gate
Semantic Scholar
ACM Digital Library
Aminer
Students
Cambalache