Atkinson, R. R. (1980). Automatic verification of serializers. Massachusetts Inst. of Technology, Laboratory for Computer Science.
Chicago-Zitierstil (17. Ausg.)Atkinson, Russell R. Automatic Verification of Serializers. Cambridge, Mass: Massachusetts Inst. of Technology, Laboratory for Computer Science, 1980.
MLA-Zitierstil (9. Ausg.)Atkinson, Russell R. Automatic Verification of Serializers. Massachusetts Inst. of Technology, Laboratory for Computer Science, 1980.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.