(1998). Computer aided verification: 10th international conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998 ; proceedings. Springer. https://doi.org/10.1007/BFb0028725
Chicago-Zitierstil (17. Ausg.)Computer Aided Verification: 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998 ; Proceedings. Berlin [u.a.]: Springer, 1998. https://doi.org/10.1007/BFb0028725.
MLA-Zitierstil (9. Ausg.)Computer Aided Verification: 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998 ; Proceedings. Springer, 1998. https://doi.org/10.1007/BFb0028725.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.