The Density of Linear-Time Properties

Finkbeiner, Bernd and Torfah, Hazem
(2017) The Density of Linear-Time Properties.
In: Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings.
Conference: ATVA - International Symposium on Automated Technology for Verification and Analysis

Full text not available from this repository.
Official URL: https://doi.org/10.1007/978-3-319-68167-2_10

Actions

Actions (login required)

View Item View Item