Treffer: k-Inductive invariant checking for graph transformation systems
Titel:
k-Inductive invariant checking for graph transformation systems / Johannes Dyck, Holger Giese
Verantwortlich:
Veröffentlicht:
Potsdam [u.a.] : Universität Potsdam[u.a.], 2017
Umfang:
Online-Ressource
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam ; 119