Navegar

Colección

Datos Estadísticas

Lista de

Proceedings of the 1998 19th IEEE Real-Time Systems Symposium
1
1998
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