Jump to Navigation

Model checking active networks with SPIN

TitleModel checking active networks with SPIN
Publication TypeJournal Article
Year of Publication2005
AuthorsGallardo, M-del-M., J. Martínez, and P. Merino
JournalComputer Communications
Volume28
Pagination609–622
Date Publishedapr
PublisherElservier
ISSN0140-3664


Main menu 2

Biblio | by Dr. Radut