Crossmark

Bounded Synthesis of Reactive Programs

Crossref DOI link: https://doi.org/10.1007/978-3-030-01090-4_26

Published Online: 2018-09-30

Published Print: 2018

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Gerstacker, Carsten

Klein, Felix

Finkbeiner, Bernd
License Information

Text and Data Mining valid from 2018-01-01
More Information

Conference Information

Conference Acronym: ATVA

Conference Name: International Symposium on Automated Technology for Verification and Analysis

Conference City: Los Angeles, CA

Conference Country: USA

Conference Year: 2018

Conference Start Date: 7 October 2018

Conference End Date: 10 October 2018

Conference Number: 16

Conference ID: atva2018

Conference URL: http://atva-conference.org/