Hybrid languages and temporal logic (1999)

by Patrick Blackburn , Miroslava Tzakova , In Memory Of George Gargov
Venue:Logic J. IGPL
Citations:36 - 15 self