%0 Conference Paper %1 journals/corr/Ayala-Rincon16 %A Ayala-Rincón, Mauricio %B DCM %D 2015 %E Muñoz, César A. %E Pérez, Jorge A. %K %P 11-17 %T Formalising Confluence in PVS. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs204.html#Ayala-Rincon16 %V 204

@inproceedings{journals/corr/Ayala-Rincon16, added-at = {2023-12-13T02:19:30.000+0100}, author = {Ayala-Rincón, Mauricio}, biburl = {https://www.bibsonomy.org/bibtex/2245b42a52f667d68b6d276690822b409/admin}, booktitle = {DCM}, crossref = {journals/corr/MunozP16}, editor = {Muñoz, César A. and Pérez, Jorge A.}, ee = {http://arxiv.org/abs/1603.00975}, interhash = {7db7da31a31392742694350a1dacbe7a}, intrahash = {245b42a52f667d68b6d276690822b409}, keywords = {}, pages = {11-17}, series = {EPTCS}, timestamp = {2023-12-13T02:19:30.000+0100}, title = {Formalising Confluence in PVS.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs204.html#Ayala-Rincon16}, volume = 204, year = 2015 }