Verifikation abstrakter Zustandsmaschinen

Gerhard Schellhorn. Verifikation abstrakter Zustandsmaschinen. PhD thesis, University of Ulm, Germany, 1999. [doi]

No reviews for this publication, yet.