Synthesizing Skeletons for Reactive Systems

Finkbeiner, Bernd and Torfah, Hazem
(2016) Synthesizing Skeletons for Reactive Systems.
In: Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, 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-46520-3_18

Actions

Actions (login required)

View Item View Item