Jump to Navigation

Un Marco de Trabajo para la Construcción de Herramientas de Model Checking

TitleUn Marco de Trabajo para la Construcción de Herramientas de Model Checking
Publication TypeConference Paper
Year of Publication2004
AuthorsCarmona, A., M-del-M. Gallardo, J. Martínez, and P. Merino
Conference NameActas de las IV Jornadas sobre Programación y Lenguajes. Málaga, 11 al 12 de Noviembre
Date Publishedoct


Main menu 2

Biblio | by Dr. Radut