Bronstein, A. (1989). MLP: String-functional semantics and Boyer-Moore mechanization for the formal verification of synchronous circuits.
Chicago-Zitierstil (17. Ausg.)Bronstein, Alexandre. MLP: String-functional Semantics and Boyer-Moore Mechanization for the Formal Verification of Synchronous Circuits. Stanford, Calif, 1989.
MLA-Zitierstil (9. Ausg.)Bronstein, Alexandre. MLP: String-functional Semantics and Boyer-Moore Mechanization for the Formal Verification of Synchronous Circuits. 1989.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.