Ahmet Kara (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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)

Selection of 2 from 2 records - Ahmet Kara has 3 coauthors

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)