%0 Conference Paper %1 conf/wrla/RubioMPV20 %A Rubio, Rubén %A Martí-Oliet, Narciso %A Pita, Isabel %A Verdejo, Alberto %B WRLA@ETAPS %D 2020 %E Escobar, Santiago %E Martí-Oliet, Narciso %I Springer %K dblp %P 156-175 %T Strategies, Model Checking and Branching-Time Properties in Maude. %U http://dblp.uni-trier.de/db/conf/wrla/wrla2020.html#RubioMPV20 %V 12328 %@ 978-3-030-63595-4

@inproceedings{conf/wrla/RubioMPV20, added-at = {2021-04-09T00:00:00.000+0200}, author = {Rubio, Rubén and Martí-Oliet, Narciso and Pita, Isabel and Verdejo, Alberto}, biburl = {https://www.bibsonomy.org/bibtex/26a5d17948ee28a9035e68b6697a0d347/dblp}, booktitle = {WRLA@ETAPS}, crossref = {conf/wrla/2020}, editor = {Escobar, Santiago and Martí-Oliet, Narciso}, ee = {https://doi.org/10.1007/978-3-030-63595-4_9}, interhash = {abd4bf3eead94ef2d28f8394db20d47d}, intrahash = {6a5d17948ee28a9035e68b6697a0d347}, isbn = {978-3-030-63595-4}, keywords = {dblp}, pages = {156-175}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T23:58:09.000+0200}, title = {Strategies, Model Checking and Branching-Time Properties in Maude.}, url = {http://dblp.uni-trier.de/db/conf/wrla/wrla2020.html#RubioMPV20}, volume = 12328, year = 2020 }