Modal and Guarded Characterisation Theorems over Finite Transition Systems.

Martin Otto

Browse the full LICS paper archive.