Navegar

Colección

Datos Estadísticas

Lista de

International Journal on Software Tools for Technology Transfer
2
2005
1
"Issues in distributed timed model checking" (2005) Braberman, V.; Olivero, A.; Schapachnik, F. International Journal on Software Tools for Technology Transfer. 7(1):4-18