![]() | ![]() |
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] |