Cristian Marcos

Publication Activity (10 Years)

Years Active: 2017-2017
Publications (10 Years): 1

Top Topics

Deterministic Finite Automaton

Transition Systems

Automated Verification

Top Venues

Publications

Carlos Faciano, Sergio Mera, Fernando Schapachnik, Ana Haydée Di Iorio, Bibiana Luz Clara, Verónica Uriarte, María Fernanda Giaccaglia, María Belén Ruffa, Cristian Marcos
Performance improvement on legal model checking. ICAIL (2017)