Glenn Lewis

Publication Activity (10 Years)

Years Active: 1997-2001
Publications (10 Years): 0

Publications

Glenn Lewis, Charles Lakos
Incremental State Space Construction for Coloured Petri Nets. ICATPN (2001)
Charles Lakos, Glenn Lewis
A Practical Approach to Incremental Specification. FMOODS (2000)
Charles Lakos, Glenn Lewis
Behavior Inheritance for Object Lifecycles. TOOLS (33) (2000)
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)
Charles Lakos, Glenn Lewis
A Practical Approach to Behavioural Inheritance in the Context of Coloured Petri Nets. ECOOP Workshops (1999)
Charles Lakos, Glenn Lewis
Animating Formal Specifications Using Java Applets. TOOLS (25) (1997)