Barringer, H., Fisher, M., & Gough, G. D. (1989). Fair SMG and linear time model checking. Univ.
Chicago-Zitierstil (17. Ausg.)Barringer, Howard, Michael Fisher, und Graham D. Gough. Fair SMG and Linear Time Model Checking. Manchester: Univ, 1989.
MLA-Zitierstil (9. Ausg.)Barringer, Howard, et al. Fair SMG and Linear Time Model Checking. Univ, 1989.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.