Jump to Navigation

A Tool for abstraction in model checking

TitleA Tool for abstraction in model checking
Publication TypeJournal Article
Year of Publication2002
AuthorsGallardo, M-del-M., J. Martínez, P. Merino, and E. Pimentel
JournalElectronic Notes in Theoretical Computer Science
Volume66
Pagination16 pages
Date Publisheddec
PublisherElsevier
ISSN1571-0661


Main menu 2

Biblio | by Dr. Radut