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{\"u}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}
}