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 | |
Status | Udgivet - 2018 |
Eksternt udgivet | Ja |
Navn | LNCS |
---|---|
Vol/bind | 11138 |
ISSN | 0302-9743 |
ID: 245669507