TY  - JOUR
AU  - Rubio Cuéllar, Rubén Rafael
AU  - Martí Oliet, Narciso
AU  - Pita Andreu, María Isabel
AU  - Verdejo López, José Alberto
PY  - 2021
DO  - 10.1016/j.jlamp.2021.100700
SN  - 2352-2208
UR  - https://hdl.handle.net/20.500.14352/91463
T2  - Journal of Logical and Algebraic Methods in Programming
AB  - Rewriting logic and its implementation Maude are a natural and expressive framework for the specification of concurrent systems and logics. Its nondeterministic local transformations are described by rewriting rules, which can be controlled at a...
LA  - eng
M2  - 1
PB  - Elsevier
KW  - Maude
KW  - Rewriting strategies
KW  - Branching-time properties
KW  - Model checking
TI  - Strategies, model checking and branching-time properties in Maude
TY  - journal article
VL  - 123
ER  -