Metric temporal graph logic over typed attributed graphs

From MaRDI portal

Revision as of 06:07, 10 July 2024 by Import240710060729 (talk | contribs) (Created automatically from import240710060729)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:6091323

Jump to:navigation, search

DOI10.1007/978-3-030-16722-6_16zbMath1524.68230MaRDI QIDQ6091323

Holger Giese, Sven Schneider, Maria Maximova, Lucas Sakizloglou

Publication date: 24 November 2023

Published in: Fundamental Approaches to Software Engineering (Search for Journal in Brave)

zbMATH Keywords

metric temporal logic symbolic graphs nested graph conditions sequence properties typed attributed graphs

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Temporal logic (03B44)

Related Items (1)

This page was built for publication: Metric temporal graph logic over typed attributed graphs

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6091323&oldid=35536032"