Enhancing state space reduction techniques for model checking
By: Dragon Bošnački
Contributors: Technische Universiteit Eindhoven
Series: IPA Dissertation series -- 2001,14
Publisher: Ipskamp
Published: 2001
Place of publication: Enschede
Language: eng
Number of pages: 174
Notes: Thesis (doctoral)--Technische Universiteit Eindhoven, 2001.