TY  - JOUR
AU  - Aceto, Luca
AU  - Della Monica, Dario
AU  - Fábregas, Ignacio
AU  - Ingólfsdóttir, Anna
AU  - Fábregas Alfaro, Ignacio
PY  - 2018
DO  - 10.1016/J.TCS.2018.12.004
SN  - 1879-2294
UR  - https://hdl.handle.net/20.500.14352/98254
T2  - Theoretical Computer Science
AB  - In the setting of the modal logic that characterizes modal refinement over modal transition systems, Boudol and Larsen showed that the formulae for which model checking can be reduced to preorder checking, that is, the characteristic formulae, are...
LA  - eng
TI  - When are prime formulae characteristic?
TY  - journal article
ER  -