| |
| 1998 | ||
|---|---|---|
| 2 | EE | William Chan, Richard J. Anderson, Paul Beame, Steve Burns, Francesmary Modugno, David Notkin, Jon Damon Reese: Model Checking Large Software Specifications. IEEE Trans. Software Eng. 24(7): 498-520 (1998) |
| 1996 | ||
| 1 | EE | Richard J. Anderson, Paul Beame, Steve Burns, William Chan, Francesmary Modugno, David Notkin, Jon Damon Reese: Model Checking Large Software Specifications. SIGSOFT FSE 1996: 156-166 |
| 1 | Richard J. Anderson | [1] [2] |
| 2 | Paul Beame | [1] [2] |
| 3 | William Chan | [1] [2] |
| 4 | Francesmary Modugno | [1] [2] |
| 5 | David Notkin | [1] [2] |
| 6 | Jon Damon Reese | [1] [2] |