Abstract interpretation and partition refinement for model checking [article]

DR Dennis Dams, JCM Jos Baeten, W Werner Damm, RT Rob Gerth
1996
Citation for published version (APA): Dams, D. R. (1996). Abstract interpretation and partition refinement for model checking. Eindhoven: Technische Universiteit Eindhoven. https://doi.org/10.6100/IR462072 Abstract interpretation and partition ref inement for model checking / Dennis René Dams. -Eindhoven : Eindhoven University of Technology. -Ill. Thesis Technische Universiteit Eindhoven. -With index, ref. -With summary in Dutch.
doi:10.6100/ir462072 fatcat:3cqx6okcubajldzfnd3v5l2nv4