Media type: E-Book; Thesis Title: Abstract state machines : verification problems and computational power Contributor: Nowack, Antje [Verfasser] Extent: Online-Ressource Language: English Identifier: Keywords: Abstrakte Zustandsmaschine > Verifikation > Formale Methode > Entscheidbarkeit > Berechenbarkeit > Program Slicing Origination: University thesis: Aachen, Techn. Hochsch., Diss., 2004 Footnote: Access State: Open Access