Jump to Navigation

EVP: integration of FDTs for the analysis and verification of communication protocols

TitleEVP: integration of FDTs for the analysis and verification of communication protocols
Publication TypeConference Paper
Year of Publication1996
AuthorsMerino, P., and J. María Troya
Conference NameRajeev Alur and Thomas A. Henzinger (Eds.). Computer Aided Verification: 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings
Date Publishedoct
PublisherSpringer
Conference LocationBerlin
ISBN Number3-540-61474-5


Main menu 2

Biblio | by Dr. Radut