APA (7th ed.) Citation

Rubio, R., Martí-Oliet, N., Pita, I., & Verdejo, A. (2021). Strategies, model checking and branching-time properties in Maude. Journal of logical and algebraic methods in programming, 123, 100700. https://doi.org/10.1016/j.jlamp.2021.100700

Chicago Style (17th ed.) Citation

Rubio, Rubén, Narciso Martí-Oliet, Isabel Pita, and Alberto Verdejo. "Strategies, Model Checking and Branching-time Properties in Maude." Journal of Logical and Algebraic Methods in Programming 123 (2021): 100700. https://doi.org/10.1016/j.jlamp.2021.100700.

MLA (9th ed.) Citation

Rubio, Rubén, et al. "Strategies, Model Checking and Branching-time Properties in Maude." Journal of Logical and Algebraic Methods in Programming, vol. 123, 2021, p. 100700, https://doi.org/10.1016/j.jlamp.2021.100700.