Jump to Navigation

A Logic based approach to validation and verification of computer protocols

TitleA Logic based approach to validation and verification of computer protocols
Publication TypeJournal Article
Year of Publication1996
AuthorsMerino, P., and J. María Troya
JournalBulletin of the Association for Theoretical Computer Science
Pagination109–124
Date Publishedjun


Main menu 2

Biblio | by Dr. Radut