2001 | ||
---|---|---|
6 | EE | Glenn Lewis, Charles Lakos: Incremental State Space Construction for Coloured Petri Nets. ICATPN 2001: 263-282 |
2000 | ||
5 | Charles Lakos, Glenn Lewis: A Practical Approach to Incremental Specification. FMOODS 2000: 233-256 | |
4 | EE | Charles Lakos, Glenn Lewis: Behavior Inheritance for Object Lifecycles. TOOLS (33) 2000: 262- |
1999 | ||
3 | Charles Lakos, Glenn Lewis: A Practical Approach to Behavioural Inheritance in the Context of Coloured Petri Nets. ECOOP Workshop for PhD Students in OO Systems 1999: 106-111 | |
2 | Charles Lakos, Glenn Lewis: A Practical Approach to Behavioural Inheritance in the Context of Coloured Petri Nets. ECOOP Workshops 1999: 320 | |
1997 | ||
1 | EE | Charles Lakos, Glenn Lewis: Animating Formal Specifications Using Java Applets. TOOLS (25) 1997: 196-209 |
1 | Charles Lakos | [1] [2] [3] [4] [5] [6] |