César Rodríguez
发表
César Rodríguez,
César Rodríguez,
2013
.
César Rodríguez,
2010
.
César Rodríguez,
2008
.
Daniel Kroening,
César Rodríguez,
Subodh Sharma,
2015,
CONCUR.
Victor Khomenko,
César Rodríguez,
Stefan Schwoon,
2013,
Petri Nets.
César Rodríguez,
Stefan Schwoon,
2013,
FSFMA.
Benedikt Bollig,
Serge Haddad,
Benoît Barbot,
2013
.
César Rodríguez,
Stefan Schwoon,
César Rodríguez,
2012,
CONCUR.
Paolo Baldan,
César Rodríguez,
Stefan Schwoon,
2011,
CONCUR.
César Rodríguez,
Stefan Schwoon,
2013,
ATVA.
César Rodríguez,
Stefan Schwoon,
César Rodríguez,
2011,
DCFS.
Camille Coti,
Laure Petrucci,
César Rodríguez,
2018,
Formal Methods in System Design.
Andrea Corradini,
Paolo Baldan,
Barbara König,
2012,
Theor. Comput. Sci..
Josep Carmona,
César Rodríguez,
Hernán Ponce de León,
2015,
BPM.
Stefan Haar,
César Rodríguez,
Stefan Schwoon,
2013,
2013 13th International Conference on Application of Concurrency to System Design.
César Rodríguez,
Dhriti Khanna,
Subodh Sharma,
2018,
FM.
Daniel Schemmel,
César Rodríguez,
Klaus Wehrle,
2020,
CAV.
Thomas Chatain,
Étienne André,
César Rodríguez,
2015,
ACSD.
César Rodríguez,
Enzo Guerrero-Araya,
Marina Muñoz,
2020,
bioRxiv.
Josep Carmona,
Stefan Haar,
Keijo Heljanko,
2015,
ATVA.
Camille Coti,
Laure Petrucci,
César Rodríguez,
2021,
Formal Methods Syst. Des..