| |
| 2008 | ||
|---|---|---|
| 2 | EE | Robert Meolic, Tatjana Kapus, Zmago Brezocnik: ACTLW - An action-based computation tree logic with unless operator. Inf. Sci. 178(6): 1542-1557 (2008) |
| 2004 | ||
| 1 | EE | Robert Meolic, Alessandro Fantechi, Stefania Gnesi: Witness and Counterexample Automata for ACTL. FORTE 2004: 259-275 |
| 1 | Zmago Brezocnik | [2] |
| 2 | Alessandro Fantechi | [1] |
| 3 | Stefania Gnesi | [1] |
| 4 | Tatjana Kapus | [2] |