Ahmet Kara

	2009
2		Ahmet Kara, Volker Weber, Martin Lange, Thomas Schwentick: On the Hybrid Extension of CTL and CTL+. MFCS 2009: 427-438
1		Ahmet Kara, Martin Lange, Thomas Schwentick, Volker Weber: On the Hybrid Extension of CTL and CTL+ CoRR abs/0906.2541: (2009)

Coauthor Index

1	Martin Lange	[1] [2]
2	Thomas Schwentick	[1] [2]
3	Volker Weber	[1] [2]