(1998). Computer aided verification: 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 - July 2, 1998 ; proceedings / Alan J. Hu, Moshe Y. Vardi (eds.).
Chicago-Zitierstil (17. Ausg.)Computer Aided Verification: 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 - July 2, 1998 ; Proceedings / Alan J. Hu, Moshe Y. Vardi (eds.). 1998.
MLA-Zitierstil (9. Ausg.)Computer Aided Verification: 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 - July 2, 1998 ; Proceedings / Alan J. Hu, Moshe Y. Vardi (eds.). 1998.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.