Optimal Proofs for Linear Temporal Logic on Lasso Words

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

Originalsprog	Engelsk
Titel	Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
Redaktører	Shuvendu Lahiri, Chao Wang
Antal sider	19
Forlag	Springer
Publikationsdato	2018
Sider	37-55
DOI	https://doi.org/10.1007/978-3-030-01090-4_3
Status	Udgivet - 2018
Eksternt udgivet	Ja

ID: 245669507

Datalogisk Institut