Publikationen

@ARTICLE{Greenyer2017a,
  author = {Joel Greenyer and Daniel Gritzner and Timo Gutahr and Florian König
	and Nils Glade and Assaf Marron and Guy Katz},
  title = {ScenarioTools – A Tool Suite for the Scenario-based Modeling and
	Analysis of Reactive Systems },
  journal = {Science of Computer Programming },
  year = {2017},
  pages = { - },
  doi = {https://doi.org/10.1016/j.scico.2017.07.004},
  issn = {0167-6423},
  url = {http://www.sciencedirect.com/science/article/pii/S0167642317301442}
}