BibTex Format for Publications
@article { GreGri2017b,
author = {Joel Greenyer and Daniel Gritzner and Timo Gutjahr and Florian K{\"o}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},
volume = {149},
pages = {15-27}
}
