Dieter Barnard

	1996
4		Jorge Cuéllar, Dieter Barnard, Martin Huber: Rapid Prototyping for an Assertional Specification language. TACAS 1996: 402-406
	1995
3		Dieter Barnard, Simon Crosby: The specification and verification of an experimental ATM signalling protocol. PSTV 1995: 155-170
	1994
2		Jorge Cuéllar, Isolde Wildgruber, Dieter Barnard: Combining the Design of Industrial Systems with Effective Verification Techniques. FME 1994: 639-658
1		Jorge Cuéllar, Dieter Barnard, Martin Huber: A Solution Relying on the Model Checking of Boolean Transition Systems. Formal Systems Specification 1994: 213-251

Coauthor Index

1	Simon Crosby	[3]
2	Jorge Cuéllar	[1] [2] [4]
3	Martin Huber	[1] [4]
4	Isolde Wildgruber	[2]

Colors in the list of coauthors