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