Automated Technology for Verification and Analysis 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, proceedings

Bibliographische Detailangaben

Körperschaft:	ATVA (VerfasserIn)
Weitere Verfasser:	Hou, Zhe (HerausgeberIn), Ganesh, Vijay (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2021
Schriftenreihe:	Lecture notes in computer science 12971
Schlagworte:	Konferenzschrift > Automatentheorie > Maschinelles Lernen > Model Checking
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!