Joseph, T. A., Räuchle, T., & Toueg, S. (1984). State machines and assertions: An integrated approach to modeling and verification of distributed systems.
Chicago-Zitierstil (17. Ausg.)Joseph, Thomas A., Thomas Räuchle, und Sam Toueg. State Machines and Assertions: An Integrated Approach to Modeling and Verification of Distributed Systems. Ithaca, NY, 1984.
MLA-Zitierstil (9. Ausg.)Joseph, Thomas A., et al. State Machines and Assertions: An Integrated Approach to Modeling and Verification of Distributed Systems. 1984.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.