Bernd Baumgarten

	1999
8		Bernd Baumgarten, Olaf Henniger: Testability with Unbounded Testing Strategies. IWTCS 1999: 43-60
7		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

Coauthor Index

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]

Colors in the list of coauthors