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 TypeJournal Article
Year of Publication2002
AuthorsGallardo, M-del-M., P. Merino, and E. Pimentel
JournalElectronic Notes in Theoretical Computer Science
Volume76
Pagination14 pages
Date Publishedfeb
PublisherElservier
ISSN1571-0661


Main menu 2

Biblio | by Dr. Radut