Jump to navigation
Pedro R. D'Argenio
Filters:
Author
is
Carroll Morgan
[Clear All Filters]
2009
S. Andova
,
McIver, A.
,
D'Argenio, P. R.
,
Cuijpers, P. J. L.
,
Markovski, J.
,
Morgan, C.
, and
Núñez, M.
, Eds.
,
“
Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications
”
,
QFM
, vol. 13. 2009.
DOI
Google Scholar
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