Title
On the Hybrid Extension of CTL and CTL+
Year
Venue
Keywords
2009
MFCS
satisfiability
DocType
Volume
Citations 
Journal
abs/0906.2541
0
PageRank 
References 
Authors
0.34
1
4
Name
Order
Citations
PageRank
Ahmet Kara1386.09
Martin Lange2444.03
Thomas Schwentick32373155.10
Volker Weber4898.31