Concepedia
Statistics
Publications
1
Citations
13
H-Index
Active since
2018
Affiliations
Sapienza University of Rome(Current)
María Elena Villapol is an author at Sapienza University of Rome.
Publications per year
2018–2018
Prosega/CPN: An extension of CPN Tools for Automata-based Analysis and System Verification
Julio C. Carrasquel, A. Ricardo Morales, María Elena Villapol · Proceedings of the Institute for System Programming of RAS · 2018 · 13 citations · Full text
1–1 of 1