Clarke, E. M., Long, D. E., & MacMillan, K. L. (1989). A language for compositional specification and verification of finite state hardware controllers.
Chicago-Zitierstil (17. Ausg.)Clarke, E. M., D. E. Long, und K. L. MacMillan. A Language for Compositional Specification and Verification of Finite State Hardware Controllers. Pittsburgh, Pa, 1989.
MLA-Zitierstil (9. Ausg.)Clarke, E. M., et al. A Language for Compositional Specification and Verification of Finite State Hardware Controllers. 1989.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.