2002 | ||
---|---|---|
2 | EE | Ian Davies, William J. Knottenbelt, Pieter S. Kritzinger: Symbolic Methods for the State Space Exploration of GSPN Models. Computer Performance Evaluation / TOOLS 2002: 188-199 |
1988 | ||
1 | EE | Ian Davies, Alistair McBain: ISPBXs and terminals. Computer Communications 11(4): 203-207 (1988) |
1 | William J. Knottenbelt | [2] |
2 | Pieter S. Kritzinger | [2] |
3 | Alistair McBain | [1] |