Lista de

Autómatas para la Verificación de Sistemas Móviles
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