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 TypeConference Paper
Year of Publication1996
AuthorsMerino, P., and J. María Troya
Conference NameProc. of Workshop on Formal Methods for Industrial Critical Systems, St Hugh's College, Oxford (UK), March, 19, 1996
Date Publishedjun


Main menu 2

Biblio | by Dr. Radut