Back to overview

Optimal Proofs for Linear Temporal Logic on Lasso Words

Type of publication Peer-reviewed
Publikationsform Proceedings (peer-reviewed)
Author Basin David, Bhatt Bhargav Nagaraja, TraytelDmitriy,
Project Big Data Monitoring
Show all

Proceedings (peer-reviewed)

Editor , Lahiri Shuvendu; , Wang Chao
Page(s) 37 - 55
ISBN 9783030010898
Title of proceedings Automated Technology for Verification and Analysis
DOI 10.1007/978-3-030-01090-4_3