Johannes Dyck

From MaRDI portal
Person:2947221

Available identifiers

zbMath Open dyck.johannesMaRDI QIDQ2947221

List of research outcomes





PublicationDate of PublicationType
Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions2022-09-01Paper
k-Inductive Invariant Checking for Graph Transformation Systems2019-11-22Paper
Inductive Invariant Checking with Partial Negative Application Conditions2015-09-22Paper

Research outcomes over time

This page was built for person: Johannes Dyck

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2947221&oldid=6980145"
Powered by MediaWiki