Lista de

Autómatas para la Verificación de Sistemas Móviles
1
Autómatas para la Verificación de Sistemas Móviles. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación