Navegar

Colección

Datos Estadísticas

Lista de

5th International Conference on Formal Modelling and Analysis of Timed Systems, FORMATS 2007
1
2007
1
"Hypervolume approximation in timed automata model checking" (2007) Braberman, V.; Obes, J.L.; Olivero, A.; Schapachnik, F. 5th International Conference on Formal Modelling and Analysis of Timed Systems, FORMATS 2007. 4763 LNCS:69-81