| |
| 2005 | ||
|---|---|---|
| 2 | EE | Charles A. Lakos, Lars Michael Kristensen: State Space Exploration of Object-Based Systems Using Equivalence Reduction and the Sweepline Method. ATVA 2005: 187-201 |
| 1993 | ||
| 1 | Charles A. Lakos, Chris Keen: Modeling a Door Controller Protocol in LOOPN. TOOLS (10) 1993: 31-43 | |
| 1 | Chris Keen | [1] |
| 2 | Lars Michael Kristensen | [2] |