Jump to Navigation

A Generalized semantics of Promela for abstract model checking

TitleA Generalized semantics of Promela for abstract model checking
Publication TypeJournal Article
Year of Publication2004
AuthorsGallardo, M-del-M., P. Merino, and E. Pimentel
JournalFormal Aspects of Computing
Volume16
Pagination166–193
Date Publishedoct
PublisherSpringer-Verlag
ISSN0934-5043


Main menu 2

Biblio | by Dr. Radut