Treffer: Verification of infinite-state graph transformation systems via abstraction

Titel:

Verantwortlich:

Steenken, Dominik

Veröffentlicht:

Paderborn : Universitätsbibliothek, 2015

Umfang:

Online-Ressource

Publikationstyp:

E-Book

Sprache:

Englisch; Deutsch

Hochschulschrift:

Paderborn, Universität Paderborn, Diss., 2015

Zusatz-Informationen