Abstract interpretation and partition refinement for model checking
By: Dennis René Dams
Contributors: Technische Universiteit Eindhoven
Published: 1996
Language: eng
Number of pages: 217
Notes: Thesis (doctoral)--Technische Universiteit Eindhoven, 1996.