| |
| 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 | |
| 1 | Peter Dybjer | [1] [2] |