Clarke, E. M., Grumberg, O., & Long, D. E. (1991). Model checking and abstraction.
Chicago-Zitierstil (17. Ausg.)Clarke, Edmund M., Orna Grumberg, und David E. Long. Model Checking and Abstraction. Haifa, Israel, 1991.
MLA-Zitierstil (9. Ausg.)Clarke, Edmund M., et al. Model Checking and Abstraction. 1991.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.