| |
| 2008 | ||
|---|---|---|
| 1 | EE | Donna M. Carter, Ramazan Savas Aygün, Glenn W. Cox, Mary Ellen Weisskopf, Letha H. Etzkorn: The effect of uncontrolled concurrency on model checking. Concurrency and Computation: Practice and Experience 20(12): 1419-1438 (2008) |
| 1 | Ramazan Savas Aygün | [1] |
| 2 | Donna M. Carter | [1] |
| 3 | Glenn W. Cox | [1] |
| 4 | Letha H. Etzkorn | [1] |