Optimal Proofs for Linear Temporal Logic on Lasso Words
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Standard
Optimal Proofs for Linear Temporal Logic on Lasso Words. / Basin, David; Bhatt, Bhargav; Traytel, Dmitriy.
Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings. red. / Shuvendu Lahiri; Chao Wang. Springer, 2018. s. 37-55 (LNCS, Bind 11138).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Harvard
Basin, D, Bhatt, B & Traytel, D 2018, Optimal Proofs for Linear Temporal Logic on Lasso Words. i S Lahiri & C Wang (red), Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings. Springer, LNCS, bind 11138, s. 37-55. https://doi.org/10.1007/978-3-030-01090-4_3
APA
Basin, D., Bhatt, B., & Traytel, D. (2018). Optimal Proofs for Linear Temporal Logic on Lasso Words. I S. Lahiri, & C. Wang (red.), Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings (s. 37-55). Springer. LNCS Bind 11138 https://doi.org/10.1007/978-3-030-01090-4_3
Vancouver
Basin D, Bhatt B, Traytel D. Optimal Proofs for Linear Temporal Logic on Lasso Words. I Lahiri S, Wang C, red., Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings. Springer. 2018. s. 37-55. (LNCS, Bind 11138). https://doi.org/10.1007/978-3-030-01090-4_3
Author
Bibtex
@inproceedings{cc2b1e4269ae451da4f77068be45500c,
title = "Optimal Proofs for Linear Temporal Logic on Lasso Words",
author = "David Basin and Bhargav Bhatt and Dmitriy Traytel",
year = "2018",
doi = "10.1007/978-3-030-01090-4_3",
language = "English",
series = "LNCS",
publisher = "Springer",
pages = "37--55",
editor = "Shuvendu Lahiri and Chao Wang",
booktitle = "Automated Technology for Verification and Analysis",
address = "Switzerland",
}
RIS
TY - GEN
T1 - Optimal Proofs for Linear Temporal Logic on Lasso Words
AU - Basin, David
AU - Bhatt, Bhargav
AU - Traytel, Dmitriy
PY - 2018
Y1 - 2018
U2 - 10.1007/978-3-030-01090-4_3
DO - 10.1007/978-3-030-01090-4_3
M3 - Article in proceedings
T3 - LNCS
SP - 37
EP - 55
BT - Automated Technology for Verification and Analysis
A2 - Lahiri, Shuvendu
A2 - Wang, Chao
PB - Springer
ER -
ID: 245669507