Navegar

Colección

Datos Estadísticas

Lista de

Schapachnik, Fernando Pablo
2
PDMC 2002, Parallel and Distributed Model Checking (Satellite Workshop of CONCUR 2002)
1
Proceedings of the 3rd International Workshop on Parallel Distributed Methods in Verification (PDMC 2004)
1