A Formally Verified Monitor for Metric First-Order Temporal Logic

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

Originalsprog	Engelsk
Titel	RV 2019
Redaktører	Bernd Finkbeiner, Leonardo Mariani
Antal sider	19
Vol/bind	11757
Forlag	Springer, Cham
Publikationsdato	2019
Sider	310-328
DOI	https://doi.org/10.1007/978-3-030-32079-9_18
Status	Udgivet - 2019
Eksternt udgivet	Ja

Navn	LNCS

ID: 245667840

Datalogisk Institut