Model checking hybrid logics (with an ap
โ
Massimo Franceschet; Maarten de Rijke
๐
Article
๐
2006
๐
Elsevier Science
๐
English
โ 259 KB