Navegar

Colección

Datos Estadísticas

Lista de

1998
599
Proceedings of the 1998 19th IEEE Real-Time Systems Symposium
1
"On checking timed automata for linear duration invariants" (1998) Braberman, Victor Adrian; Van Hung, Dang Proceedings of the 1998 19th IEEE Real-Time Systems Symposium:264-273