%0 Journal Article %1 journals/corr/abs-2401-07680 %A Rubio, Rubén %A Martí-Oliet, Narciso %A Pita, Isabel %A Verdejo, Alberto %D 2024 %J CoRR %K dblp %T Strategies, model checking and branching-time properties in Maude. %U http://dblp.uni-trier.de/db/journals/corr/corr2401.html#abs-2401-07680 %V abs/2401.07680

@article{journals/corr/abs-2401-07680, added-at = {2024-02-01T00:00:00.000+0100}, author = {Rubio, Rubén and Martí-Oliet, Narciso and Pita, Isabel and Verdejo, Alberto}, biburl = {https://www.bibsonomy.org/bibtex/2eb2d5f2e7d3c856134d2223d6523b189/dblp}, ee = {https://doi.org/10.48550/arXiv.2401.07680}, interhash = {be20337100151e3dc8c6a6fd69eda9da}, intrahash = {eb2d5f2e7d3c856134d2223d6523b189}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T21:59:21.000+0200}, title = {Strategies, model checking and branching-time properties in Maude.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2401.html#abs-2401-07680}, volume = {abs/2401.07680}, year = 2024 }