- CSB - MetaPress - Google - Bing - Yahoo
 | 1994 | |
|---|---|---|
| 2 |      | Antonia Sinachopoulos: Logics and Decidability for Labelled Pre- and Partially Ordered Kripke Structures. Inf. Process. Lett. 51(1): 43-52 (1994) |
| 1990 | ||
| 1 |  | Antonia Sinachopoulos: Partial Order Logics for Elementary Net Systems: State- and Event-approaches. CONCUR 1990: 442-455 |