Navegar

Colección

Datos Estadísticas

Lista de

2007
921
5th International Conference on Formal Modelling and Analysis of Timed Systems, FORMATS 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