| |
| 1997 | ||
|---|---|---|
| 1 | EE | Thomas Schlipf, Thomas Buechner, Rolf Fritz, Markus M. Helms, Juergen Koehl: Formal verification made easy. IBM Journal of Research and Development 41(4&5): 567-576 (1997) |
| 1 | Thomas Buechner | [1] |
| 2 | Rolf Fritz | [1] |
| 3 | Markus M. Helms | [1] |
| 4 | Thomas Schlipf | [1] |