Daniel Monteverde

Publication Activity (10 Years)

Years Active: 2009-2009
Publications (10 Years): 0

Publications

Víctor A. Braberman, Diego Garbervetsky, Nicolas Kicillof, Daniel Monteverde, Alfredo Olivero
Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis. FORMATS (2009)