Navegar

Colección

Datos Estadísticas

Lista de

2002
821
Theory and Practice of Timed Systems (Satellite Event of ETAPS 2002)
1
"On improving backwards verification of timed automata (extended abstract)" (2002) Braberman, V.; López Pombo, C.; Olivero, A. Theory and Practice of Timed Systems (Satellite Event of ETAPS 2002). 65(6):60-67