(1999). Computer aided verification: 11th international conference, CAV '99, Trento, Italy, July 6 - 10, 1999 ; proceedings. Springer. https://doi.org/10.1007/3-540-48683-6
Chicago-Zitierstil (17. Ausg.)Computer Aided Verification: 11th International Conference, CAV '99, Trento, Italy, July 6 - 10, 1999 ; Proceedings. Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London: Springer, 1999. https://doi.org/10.1007/3-540-48683-6.
MLA-Zitierstil (9. Ausg.)Computer Aided Verification: 11th International Conference, CAV '99, Trento, Italy, July 6 - 10, 1999 ; Proceedings. Springer, 1999. https://doi.org/10.1007/3-540-48683-6.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.