APA (7 ম সংস্করণ) উদ্ধৃতি

Dams, D. R. (1996). Abstract interpretation and partition refinement for model checking. Technische Universiteit Eindhoven.

শিকাগো স্টাইল (17 তম সংস্করণ) উদ্ধৃতি

Dams, Dennis René. Abstract Interpretation and Partition Refinement for Model Checking. Netherlands: Technische Universiteit Eindhoven, 1996.

M.L.A (8 ম সংস্করণ) উদ্ধৃতি

Dams, Dennis René. Abstract Interpretation and Partition Refinement for Model Checking. Technische Universiteit Eindhoven, 1996.