| |
| 2008 | ||
|---|---|---|
| 1 | EE | Minh D. Nguyen, Max Thalmaier, Markus Wedler, J. Bormann, Dominik Stoffel, Wolfgang Kunz: Unbounded Protocol Compliance Verification Using Interval Property Checking With Invariants. IEEE Trans. on CAD of Integrated Circuits and Systems 27(11): 2068-2082 (2008) |
| 1 | Wolfgang Kunz | [1] |
| 2 | Minh D. Nguyen | [1] |
| 3 | Dominik Stoffel | [1] |
| 4 | Max Thalmaier | [1] |
| 5 | Markus Wedler | [1] |