%0 Conference Paper %1 conf/atva/BasinBT18 %A Basin, David A. %A Bhatt, Bhargav Nagaraja %A Traytel, Dmitriy %B ATVA %D 2018 %E Lahiri, Shuvendu K. %E Wang, Chao %I Springer %K dblp %P 37-55 %T Optimal Proofs for Linear Temporal Logic on Lasso Words. %U http://dblp.uni-trier.de/db/conf/atva/atva2018.html#BasinBT18 %V 11138 %@ 978-3-030-01090-4

@inproceedings{conf/atva/BasinBT18, added-at = {2019-09-25T00:00:00.000+0200}, author = {Basin, David A. and Bhatt, Bhargav Nagaraja and Traytel, Dmitriy}, biburl = {https://www.bibsonomy.org/bibtex/231236cb4d47131acb1145684a59516b9/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2018}, editor = {Lahiri, Shuvendu K. and Wang, Chao}, ee = {https://doi.org/10.1007/978-3-030-01090-4_3}, interhash = {bfcd6b3f7d962fac93480933aa4f0d3f}, intrahash = {31236cb4d47131acb1145684a59516b9}, isbn = {978-3-030-01090-4}, keywords = {dblp}, pages = {37-55}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-26T14:14:21.000+0200}, title = {Optimal Proofs for Linear Temporal Logic on Lasso Words.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2018.html#BasinBT18}, volume = 11138, year = 2018 }