Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic

Bibliographische Detailangaben

Veröffentlicht in:	ICGT (13. : 2020 : Online) Graph transformation
1. Verfasser:	Schneider, Sven (VerfasserIn)
Weitere Verfasser:	Sakizloglou, Lucas (VerfasserIn), Maximova, Maria (VerfasserIn), Giese, Holger (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2020
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!