Publikationen
@INPROCEEDINGS{Greenyer2018a, author = {Joel Greenyer and Timo Gutjahr}, title = {Symbolic Execution for Realizability-Checking of Scenario-Based Specifications (Extended Abstract of MODELS 2017 paper)}, booktitle = {Tagungsband der SE 2018 -- Tagungen Software Engineering (SE) der Gesellschaft für Informatik (GI) und Software Management (SWM) des GI-Fachausschusses WI-MAW, 6.-9. M{\"a}rz 2018, Ulm, Germany (to appear)}, year = {2018}, series = {LNI}, publisher = {GI} }