Search the dblp DataBase

Publications of Author

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