Navegar

Colección

Datos Estadísticas

Lista de

PDMC 2002, Parallel and Distributed Model Checking (Satellite Workshop of CONCUR 2002)
1
2002
1
"Zeus: A distributed timed model-checker based on Kronos" (2002) Braberman, V.; Olivero, A.; Schapachnik, F. PDMC 2002, Parallel and Distributed Model Checking (Satellite Workshop of CONCUR 2002). 68(4):503-522