On the Hybrid Extension of CTL and CTL +

Mathematical Foundations of Computer Science 2009 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03816-7_37 ◽

2009 ◽

pp. 427-438 ◽

Cited By ~ 4

Author(s):

Ahmet Kara ◽

Volker Weber ◽

Martin Lange ◽

Thomas Schwentick

Download Full-text