Close
Publizieren
Besondere Sammlungen
Digitalisierungsservice
Hilfe
Impressum
Datenschutz
Search Details
Quicksearch:
OK
Result-List
Title
Title
Content
Content
Page
Page
Search Book
Verification of infinite-state graph transformation systems via abstraction
SMT Encoding of Graph Embeddings and Traces
Encoding of a Rule Application
Loading...
Dissertation (PhD)
Verification of infinite-state graph transformation systems via abstraction
Place and Date of Creation
2015
JPEG-Download
avaibable widths
JPEG large
JPEG original
show thumbnails
hide thumbs
