2004 | ||
---|---|---|
2 | Andrew Vassiliou, Andrew Salway, D. Pitt: Formalising stories: sequences of events and state changes. ICME 2004: 587-590 | |
1990 | ||
1 | F. Brady, A. Boshier, D. Pitt, B. Szczygiel: One2One - A Tool for Translating ASN.1 to ACT ONE. FORTE 1990: 539-542 |
1 | A. Boshier | [1] |
2 | F. Brady | [1] |
3 | Andrew Salway | [2] |
4 | B. Szczygiel | [1] |
5 | Andrew Vassiliou | [2] |