| 2000 |
|---|
| 5 | | Peter Ochsenschläger,
Jürgen Repp,
Roland Rieke:
The SH-Verification Tool.
FLAIRS Conference 2000: 18-22 |
| 4 | | Peter Ochsenschläger,
Jürgen Repp,
Roland Rieke:
Verification of Cooperating Systems - An Approach Based on Formal Languages.
FLAIRS Conference 2000: 346-350 |
| 3 | | Peter Ochsenschläger,
Jürgen Repp,
Roland Rieke:
Abstraction and composition: a verification method for co-operating systems.
J. Exp. Theor. Artif. Intell. 12(4): 447-459 (2000) |
| 1998 |
|---|
| 2 | EE | Peter Ochsenschläger,
Jürgen Repp,
Roland Rieke,
Ulrich Nitsche:
The SH-Verification Tool - Abstraction-Based Verification of Co-operating Systems.
Formal Asp. Comput. 10(4): 381-404 (1998) |
| 1988 |
|---|
| 1 | | Knut A. Bahr,
Michael Giessler,
Jürgen Repp:
Steps toward a corporate network based on packet switching and ISDN.
ICCC 1988: 492-496 |
