Stem evp$ (all stems)
2 papers:
- DATE-2008-KumarB
- Vectorization of Reed Solomon Decoding and Mapping on the EVP (AK, KvB), pp. 450–455.
- CAV-1996-MerinoT #analysis #communication #integration #named #protocol #verification
- EVP: Integration of FDTs for the Analysis and Verification of Communication Protocols (PM, JMT), pp. 406–410.