Moffat, N., Goldsmith, M., & Roscoe, B. (2007). Towards Symmetry Aware Refinement Checking (Extended Abstract).
Chicago-Zitierstil (17. Ausg.)Moffat, N., M. Goldsmith, und B. Roscoe. Towards Symmetry Aware Refinement Checking (Extended Abstract). 2007.
MLA-Zitierstil (9. Ausg.)Moffat, N., et al. Towards Symmetry Aware Refinement Checking (Extended Abstract). 2007.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.