Rubio Cuéllar, R. R., Martí Oliet, N., Pita Andreu, M. I., & Verdejo López, J. A. (2021). Strategies, model checking and branching-time properties in Maude.
Chicago Style CitationRubio Cuéllar, Rubén Rafael, Narciso Martí Oliet, María Isabel Pita Andreu, and José Alberto Verdejo López. Strategies, Model Checking and Branching-time Properties in Maude. 2021.
MLA CitationRubio Cuéllar, Rubén Rafael, Narciso Martí Oliet, María Isabel Pita Andreu, and José Alberto Verdejo López. Strategies, Model Checking and Branching-time Properties in Maude. 2021.
Warning: These citations may not always be 100% accurate.