Tools and algorithms for the construction and analysis of systems Part 2

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	International Conference on Tools and Algorithms for the Construction and Analysis of Systems (VerfasserIn)
Weitere Verfasser:	Finkbeiner, Bernd (HerausgeberIn), Kovács, Laura (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2024
Schriftenreihe:	Lecture notes in computer science 14571
Schlagworte:	Konferenzschrift
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!