Michael Huth
Abstraction and Probabilities for Hybrid Logics
QAPL, 2005.
@article{QAPL-2004-Huth05, author = "Michael Huth", doi = "10.1016/j.entcs.2004.01.023", journal = "{Electronic Notes in Theoretical Computer Science}", pages = "61--76", title = "{Abstraction and Probabilities for Hybrid Logics}", volume = 112, year = 2005, }