Herbert P. Sander

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1989

2 Peter Dybjer, Herbert P. Sander: A Functional Programming Approach to the Specification and Verification of Concurrent Systems. Formal Asp. Comput. 1(4): 303-319 (1989)

1988

1 Peter Dybjer, Herbert P. Sander: A Functional Programming Approach to the Specification and Verification of Concurrent Systems. Specification and Verification of Concurrent Systems 1988: 331-343

	1989
2		Peter Dybjer, Herbert P. Sander: A Functional Programming Approach to the Specification and Verification of Concurrent Systems. Formal Asp. Comput. 1(4): 303-319 (1989)
	1988
1		Peter Dybjer, Herbert P. Sander: A Functional Programming Approach to the Specification and Verification of Concurrent Systems. Specification and Verification of Concurrent Systems 1988: 331-343

Coauthor Index