"Matching structural and implementational models in the specification of ..."

Michael C. Fairhurst, H. M. S. Abdel Wahab, Paul Brittan (1991)

Details and statistics

DOI: 10.1016/0031-3203(91)90021-V

access: closed

type: Journal Article

metadata version: 2020-02-24

a service of  Schloss Dagstuhl - Leibniz Center for Informatics