| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 1999 | |
|---|---|---|
| 10 |      | Bernd Baumgarten, Olaf Henniger: Testability with Unbounded Testing Strategies. IWTCS 1999: 43-60 |
| 9 |  | Bernd Baumgarten: A Minimal Framework for Specification Theory. World Congress on Formal Methods 1999: 1861 |
| 1998 | ||
| 8 | | Bernd Baumgarten, H. Wiland: Qualitative Notions of Testability. IWTCS 1998: 345-360 |
| 1996 | ||
| 7 | | Bernd Baumgarten: Petri-Netze - Grundlagen und Anwendungen (2. Aufl.). Spektrum Akademischer Verlag 1996: 1-371 |
| 1990 | ||
| 6 | | Bernd Baumgarten: Petri-Netze - Grundlagen und Anwendungen. BI-Wissenschaftsverlag 1990: 1-369 |
| 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 | [10] |
| 3 | Peter Ochsenschläger | [1] [2] [3] [4] |
| 4 | Rainer Prinoth | [2] [3] |
| 5 | H. Wiland | [8] |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page