Jump to Navigation

Automatic abstraction to improve model checking

TitleAutomatic abstraction to improve model checking
Publication TypeConference Paper
Year of Publication2001
AuthorsGallardo, M-del-M., P. Merino, and J. María Troya
Conference NameActas de IX Jornadas de Concurrencia. Sitges, España
Date Publishedoct
ISBN Number84-699-4768-0


Main menu 2

Biblio | by Dr. Radut