Charles A. Lakos

Publication Activity (10 Years)

Years Active: 1993-2005
Publications (10 Years): 0

Publications

Charles A. Lakos, Lars Michael Kristensen
State Space Exploration of Object-Based Systems Using Equivalence Reduction and the Sweepline Method. ATVA (2005)
Charles A. Lakos, Chris Keen
Modeling a Door Controller Protocol in LOOPN. TOOLS (10) (1993)