Graph automata and their application to the verification of dynamic systems

Zugl.: Duisburg-Essen, Univ., Diss., 2014

Bibliographische Detailangaben

1. Verfasser:	Blume, Christoph (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	München Dr. Hut 2014
Schlagworte:	Hochschulschrift
Online Zugang:	Inhaltstext Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!