Miguel Palomino, Isabel Pita. Proving VLRL Action Properties with the Maude Model Checker. Electronic Notes in Theoretical Computer Science, 117:113-133, 2005. [doi]
@article{PalominoP05, title = {Proving VLRL Action Properties with the Maude Model Checker}, author = {Miguel Palomino and Isabel Pita}, year = {2005}, doi = {10.1016/j.entcs.2004.06.026}, url = {http://dx.doi.org/10.1016/j.entcs.2004.06.026}, researchr = {https://researchr.org/publication/PalominoP05}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {117}, pages = {113-133}, }