%0 Journal Article %1 journals/corr/SantiagoEMM16 %A Santiago, Sonia %A Escobar, Santiago %A Meadows, Catherine %A Meseguer, José %D 2016 %J CoRR %K dblp %T Effective Sequential Protocol Composition in Maude-NPA. %U http://dblp.uni-trier.de/db/journals/corr/corr1603.html#SantiagoEMM16 %V abs/1603.00087

@article{journals/corr/SantiagoEMM16, added-at = {2023-09-20T00:00:00.000+0200}, author = {Santiago, Sonia and Escobar, Santiago and Meadows, Catherine and Meseguer, José}, biburl = {https://www.bibsonomy.org/bibtex/2375fc32db5d28c80c9f0c54d347aaf15/dblp}, ee = {http://arxiv.org/abs/1603.00087}, interhash = {56e07c0ecd00d247deacde7db2fe4554}, intrahash = {375fc32db5d28c80c9f0c54d347aaf15}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:07:51.000+0200}, title = {Effective Sequential Protocol Composition in Maude-NPA.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1603.html#SantiagoEMM16}, volume = {abs/1603.00087}, year = 2016 }