- CSB - MetaPress - Google - Bing - Yahoo
 | 2001 | |
|---|---|---|
| 6 |      | 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 | | 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 | | Charles Lakos, Glenn Lewis: Animating Formal Specifications Using Java Applets. TOOLS (25) 1997: 196-209 |
| 1 | Charles Lakos | [1] [2] [3] [4] [5] [6] |