Lista de

Tuosto, Emilio
1
Autómatas para la Verificación de Sistemas Móviles (2004). Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación