Shahid Jabbar. External memory algorithms for state space exploration in model checking and action planning. PhD thesis, Dortmund University of Technology, 2008. [doi]
@phdthesis{de-5639, title = {External memory algorithms for state space exploration in model checking and action planning}, author = {Shahid Jabbar}, year = {2008}, url = {http://eldorado.tu-dortmund.de:8080/bitstream/2003/26196/2/Dissertation_Jabbar.pdf}, note = {http://d-nb.info/997371293}, researchr = {https://researchr.org/publication/de-5639}, cites = {0}, citedby = {0}, school = {Dortmund University of Technology}, }