Jump to Navigation

Abstract Matching for Software Model Checking

TitleAbstract Matching for Software Model Checking
Publication TypeConference Paper
Year of Publication2006
Authorsde la Cámara, P., M-del-M. Gallardo, and P. Merino
Conference NameAntti Valmari (Ed.). Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings
Date Publishedoct
PublisherSpringer
Conference LocationBerlin
ISBN Number3-540-33102-6


Main menu 2

Biblio | by Dr. Radut