![]() | ![]() |
| 1988 | ||
|---|---|---|
| 1 | Stephen A. Schuman, David H. Pitt, Paddy H. Byers: Object-Oriented Process Specification. Specification and Verification of Concurrent Systems 1988: 21-70 | |
| 1 | David H. Pitt | [1] |
| 2 | Stephen A. Schuman | [1] |
Data released under the ODC-BY 1.0 license — See also our legal information page