TY  - CPAPER
AU  - Aceto, Luca
AU  - Della Monica, Dario
AU  - Fábregas Alfaro, Ignacio
AU  - Ingólfsdóttir, Anna
A2  - Italiano, Giuseppe
A2  - Pighizzini, Giovanni
A2  - Sannella, Donald
PY  - 2015
DO  - 10.1007/978-3-662-48057-1_6
SN  - 978-3-662-48057-1_6
UR  - https://hdl.handle.net/20.500.14352/99369
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  - conference paper
ER  -