Jump to Navigation

aSPIN: extending Spin with abstraction

TitleaSPIN: extending Spin with abstraction
Publication TypeConference Paper
Year of Publication2002
AuthorsGallardo, M-del-M., J. Martínez, P. Merino, and E. Pimentel
Conference NameD. Bonaki, S Leue (Eds.): .Model Checking Software: 9th International SPIN Workshop, Genoble, France, April 11-13, 2002. Proceedings
Date Publishedoct
PublisherSpringer
Conference LocationBerlin


Main menu 2

Biblio | by Dr. Radut