Gerhard Schellhorn. Verifikation abstrakter Zustandsmaschinen. PhD thesis, University of Ulm, Germany, 1999. [doi]
@phdthesis{dnb-6887, title = {Verifikation abstrakter Zustandsmaschinen}, author = {Gerhard Schellhorn}, year = {1999}, url = {http://d-nb.info/1015899366}, researchr = {https://researchr.org/publication/dnb-6887}, cites = {0}, citedby = {0}, school = {University of Ulm, Germany}, }