Lars Kuhtz. Model checking finite paths and trees. PhD thesis, Saarland University, 2010. [doi]
@phdthesis{de-4852, title = {Model checking finite paths and trees}, author = {Lars Kuhtz}, year = {2010}, url = {http://scidok.sulb.uni-saarland.de/volltexte/2011/3555/}, note = {http://d-nb.info/1011157950}, researchr = {https://researchr.org/publication/de-4852}, cites = {0}, citedby = {0}, school = {Saarland University}, }