Jump to Navigation

A Framework for Automatic Construction of Abstract Promela Models

TitleA Framework for Automatic Construction of Abstract Promela Models
Publication TypeConference Paper
Year of Publication1999
AuthorsGallardo, M-del-M., and P. Merino
Conference NameDennis Dams...(ed.).Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 1999, Toulouse, France, September 1999. Proceedings
Date Publishedoct
PublisherSpringer
Conference LocationBerlin


Main menu 2

Biblio | by Dr. Radut