Treffer: Symbolic model generation for graph properties

Titel:

Symbolic model generation for graph properties / Sven Schneider, Leen Lambers, Fernando Orejas

Verantwortlich:

Veröffentlicht:

Potsdam [u.a.] : Universität Potsdam[u.a.], 2017

Umfang:

Online-Ressource

Publikationstyp:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam ; 115

Zusatz-Informationen