Hybrid branching-time logics (2007)

by V Weber
Venue:CoRR