Expressiveness of Hybrid Temporal Logic
β
Ahmet Kara; Thomas Schwentick
π
Article
π
2011
π
Elsevier Science
π
English
β 279 KB