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
QAPL'01, Quantitative Aspects of Programming Languages (Satellite Event of PLI 2001)
1
Theory and Practice of Timed Systems (Satellite Event of ETAPS 2002)
1
Facultad de Ciencias Exactas y Naturales - Universidad de Buenos Aires - Argentina
Intendente Güiraldes 2160 - Ciudad Universitaria - C1428EGA - Tel. (+54 9 11) 5285-7400