Navegar

Colección

Datos Estadísticas

Lista de

2009
1185
7th International Conference on Formal Modelling and Analysis of Timed Systems, FORMATS 2009
1
"Speeding up model checking of timed-models by combining scenario specialization and live component analysis" (2009) Braberman, V.;Garbervestky, D.;Kicillof, N. (...)Olivero, A. 7th International Conference on Formal Modelling and Analysis of Timed Systems, FORMATS 2009. 5813 LNCS:58-72