EVP: Integration of FDTs for the Analysis and Verification of Communication Protocols.

Pedro Merino, Jos M. Troya

Browse the full CAV paper archive.