Jump to Navigation

A Tool for abstraction in model checking

TitleA Tool for abstraction in model checking
Publication TypeConference Paper
Year of Publication2002
AuthorsGallardo, M-del-M., J. Martínez, P. Merino, and E. Pimentel
Conference NameRance Cleaveland, Hubert Garavel (Eds.). 7th Workshop on Formal Methods for Industrial Critical Systems (FMICS'02). University of Malaga, Spain, July 12-13
Date Publishedoct
PublisherEuropean Research Consortiun for Informatics and Mahtematics, ERCIM
Conference LocationUSA


Main menu 2

Biblio | by Dr. Radut