scientific article; zbMATH DE number 7456049

MaRDI QIDQ5021219

Okan Özkan

Publication date: 12 January 2022

Full work available at URL: https://arxiv.org/abs/2012.01657

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Uses Software

• GROOVE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Well-structured graph transformation systems
• Verification of sequential and concurrent programs
• Fundamentals of algebraic graph transformation
• An Abstract Model for Proving Safety of Autonomous Urban Traffic
• Graph Transformation with Dependencies for the Specification of Interactive Systems
• Autonomous Units and Their Semantics — The Sequential Case
• Weakest Preconditions for High-Level Programs
• Correctness of high-level transformation systems relative to nested conditions
• Graph Transformations
• Graph Transformations
• Metric temporal graph logic over typed attributed graphs

This page was built for publication: