Jump to Navigation

aSpin: a tool for abstract model checking

TitleaSpin: a tool for abstract model checking
Publication TypeJournal Article
Year of Publication2004
AuthorsGallardo, M-del-M., J. Martínez, P. Merino, and E. Pimentel
JournalSoftware Tools for Technology Transfer
Volume5
Pagination165–184
Date Publishedoct
PublisherSpringer
ISSN1433-2779


Main menu 2

Biblio | by Dr. Radut