APA (7 ম সংস্করণ) উদ্ধৃতি
Nicolas Halbwachs, D. P. Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings. Springer.
শিকাগো স্টাইল (17 তম সংস্করণ) উদ্ধৃতি
Nicolas Halbwachs, Doron Peled. Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings. Berlín, Alemania: Springer.
M.L.A (9 ম সংস্করণ) উদ্ধৃতি
Nicolas Halbwachs, Doron Peled. Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings. Springer.
সতর্কবাণী: সাইটেশন সবসময় 100% নির্ভুল হতে পারে না.