Cita APA

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

Citación estilo Chicago

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

Cita MLA

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

Warning: These citations may not always be 100% accurate.