Navegar

Colección

Datos Estadísticas

Lista de

2006
884
Formal Methods in System Design
1
"Dealing with practical limitations of distributed timed model checking for timed automata" (2006) Braberman, V.; Olivero, A.; Schapachnik, F. Formal Methods in System Design. 29(2):197-214