Jump to Navigation

Comparing under and over-approximations of LTL properties for model checking

TitleComparing under and over-approximations of LTL properties for model checking
Publication TypeConference Paper
Year of Publication2002
AuthorsGallardo, M-del-M., P. Merino, and E. Pimentel
Conference NameMoreno Falaschi (Ed.). Functional and (constraint) Logic Programming: 11th International Workshop, WFLP 2002 Grado, Italy, June 20-22, 2002
Date Publishedsep


Main menu 2

Biblio | by Dr. Radut