Thesis

This version of generation and plotting was used to obtain the results reported in Chapter 5 of J.J.A. Keiren, "Advanced Reduction Techniques for Model Checking", PhD thesis, Eindhoven University of Technology, 2013.