APA引文

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

Chicago Style (17th ed.) Citation

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

MLA引文

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

警告：这些引文格式不一定是100％准确.