| 2006 | ||
|---|---|---|
| 1 | Paul C. Attie, David H. Lorenz, Aleksandra Portnova, Hana Chockler: Behavioral Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System. CBSE 2006: 33-49 | |
| 1 | Paul C. Attie | [1] |
| 2 | Hana Chockler | [1] |
| 3 | David H. Lorenz | [1] |