Jump to navigation
Pedro R. D'Argenio
Filters:
Author
is
Peter Niebert
[Clear All Filters]
2004
P. R. D'Argenio
and
Niebert, P.
,
“
Partial Order Reduction on Concurrent Probabilistic Programs
”
, in
1st International Conference on Quantitative Evaluation of Systems (QEST 2004)
, 2004, pp. 240-249.
DOI
Google Scholar
paper-28.pdf
(884.87 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