Francisco Durán, Meriem Ouederni, Gwen Salaün. Checking Protocol Compatibility using Maude. Electronic Notes in Theoretical Computer Science, 255:65-81, 2009. [doi]
@article{DuranOS09, title = {Checking Protocol Compatibility using Maude}, author = {Francisco Durán and Meriem Ouederni and Gwen Salaün}, year = {2009}, doi = {10.1016/j.entcs.2009.10.025}, url = {http://dx.doi.org/10.1016/j.entcs.2009.10.025}, tags = {protocol}, researchr = {https://researchr.org/publication/DuranOS09}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {255}, pages = {65-81}, }