Parameterized Synthesis with Safety Properties
| Author: | Oliver Markgraf, Chih-Duo Hong, Anthony Widjaja Lin, Muhammad Najib, Daniel Neider |
|---|---|
| URL: | https://link.springer.com/chapter/10.1007/978-3-030-64437-6_14 |
| DOI: | https://doi.org/10.1007/978-3-030-64437-6_14 |
| ISBN: | 978-3-030-64436-9 |
| Parent Title (English): | Programming Languages and Systems : 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020, Proceedings |
| Secondary publication (full text): | https://doi.org/10.48550/arXiv.2009.13459 |
| Publisher: | Springer International Publishing |
| Place of publication: | Cham |
| Editor: | Bruno C. d. S. Oliveira |
| Document Type: | Conference Proceeding |
| Language: | English |
| Publication year: | 2020 |
| Year of first Publication: | 2020 |
| Release Date: | 2025/01/20 |
| Page Number: | 20 |
| First Page: | 273 |
| Last Page: | 292 |
| Faculties / Organisational entities: | RPTU in Kaiserslautern / Fachbereich Informatik / AG Automated Reasoning |
| Open access state: | Grün Open-Access |
| RPTU: | Kaiserslautern |
| Created at the RPTU: | Yes |