Lista de

D'Ippolito, Nicolás Roque
1
D'Ippolito, Nicolás Roque. (2007). "MTSA : una herramienta de Model Checking de MTS". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.