| |
| 1999 | ||
|---|---|---|
| 8 | Bernd Baumgarten, Olaf Henniger: Testability with Unbounded Testing Strategies. IWTCS 1999: 43-60 | |
| 7 | EE | Bernd Baumgarten: A Minimal Framework for Specification Theory. World Congress on Formal Methods 1999: 1861 |
| 1998 | ||
| 6 | Bernd Baumgarten, H. Wiland: Qualitative Notions of Testability. IWTCS 1998: 345-360 | |
| 1987 | ||
| 5 | Bernd Baumgarten: On Internal and External Characterizations of PT- net Building Block Behaviors. European Workshop on Applications and Theory of Petri Nets 1987: 44-61 | |
| 1986 | ||
| 4 | Bernd Baumgarten, Peter Ochsenschläger: On Termination and Phase Changes in the Presence of Unreliable Communication. Inf. Process. Lett. 22(1): 15-20 (1986) | |
| 1985 | ||
| 3 | Bernd Baumgarten, Heinz Jürgen Burkhardt, Peter Ochsenschläger, Rainer Prinoth: The signing of a contract - a tree-structured application. Applications and Theory in Petri Nets 1985: 1-18 | |
| 2 | Bernd Baumgarten, Peter Ochsenschläger, Rainer Prinoth: Building blocks for distributed system design. PSTV 1985: 19-38 | |
| 1984 | ||
| 1 | Bernd Baumgarten, Peter Ochsenschläger: Modeling and verification of a checkpoint-restart-protocol. Fehlertolerierende Rechensysteme 1984: 353-363 | |
| 1 | Heinz Jürgen Burkhardt | [3] |
| 2 | Olaf Henniger | [8] |
| 3 | Peter Ochsenschläger | [1] [2] [3] [4] |
| 4 | Rainer Prinoth | [2] [3] |
| 5 | H. Wiland | [6] |