Jump to navigation
Pedro R. D'Argenio
Filters:
Author
is
Marcus Größer
[Clear All Filters]
2006
C. Baier
,
D'Argenio, P. R.
, and
Größer, M.
,
“
Partial Order Reduction for Probabilistic Branching Time
”
,
Electr. Notes Theor. Comput. Sci.
, vol. 153, no. 2, pp. 97-116, 2006.
DOI
Google Scholar
paper-21.pdf
(432.14 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