(2000). Computer aided verification: 12th international conference, CAV 2000, Chicago, IL, USA, July 15 - 19, 2000 ; proceedings. Springer.
Chicago-Zitierstil (17. Ausg.)Computer Aided Verification: 12th International Conference, CAV 2000, Chicago, IL, USA, July 15 - 19, 2000 ; Proceedings. Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London: Springer, 2000.
MLA-Zitierstil (9. Ausg.)Computer Aided Verification: 12th International Conference, CAV 2000, Chicago, IL, USA, July 15 - 19, 2000 ; Proceedings. Springer, 2000.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.