Optimal Proofs for Linear Temporal Logic on Lasso Words - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

David A. Basin, Bhargav Nagaraja Bhatt, Dmitriy Traytel. Optimal Proofs for Linear Temporal Logic on Lasso Words. In Shuvendu K. Lahiri, Chao Wang 0001, editors, Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings. Volume 11138 of Lecture Notes in Computer Science, pages 37-55, Springer, 2018. [doi]

This author has not been identified. Look up 'David A. Basin' in GoogleThis author has not been identified. Look up 'Bhargav Nagaraja Bhatt' in GoogleThis author has not been identified. Look up 'Dmitriy Traytel' in Google

runs on WebDSL