M. D. Krenzin

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1989

1 Richard B. Neely, J. W. Freeman, M. D. Krenzin: Achieving Understandable Results in a Formal Design Verification. CSFW 1989: 115-124

	1989
1		Richard B. Neely, J. W. Freeman, M. D. Krenzin: Achieving Understandable Results in a Formal Design Verification. CSFW 1989: 115-124

Coauthor Index

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page