Publikationen

@INPROCEEDINGS{Greenyer2016b,
  author = {Joel Greenyer and Daniel Gritzner and Guy Katz and Assaf Marron},
  title = {Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic
	System Structure in ScenarioTools},
  booktitle = {Proceedings of the MoDELS 2016 Demo and Poster Sessions, co-located
	with ACM/IEEE 19th International Conference on Model Driven Engineering
	Languages and Systems (MoDELS 2016)},
  year = {2016},
  volume = {1725},
  pages = {16-23},
  publisher = {CEUR Workshop Proceedings},
  url = {http://ceur-ws.org/Vol-1725/}
}