Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Journal of logical and algebraic methods in programming 2024-02, Vol.137, p.100938, Article 100938
Hauptverfasser:	Schneider, Sven, Maximova, Maria, Giese, Holger
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!