%0 Journal Article %1 journals/scp/GreenyerGGKGMK17 %A Greenyer, Joel %A Gritzner, Daniel %A Gutjahr, Timo %A König, Florian %A Glade, Nils %A Marron, Assaf %A Katz, Guy %D 2017 %J Sci. Comput. Program. %K dblp %P 15-27 %T ScenarioTools - A tool suite for the scenario-based modeling and analysis of reactive systems. %U http://dblp.uni-trier.de/db/journals/scp/scp149.html#GreenyerGGKGMK17 %V 149

@article{journals/scp/GreenyerGGKGMK17, added-at = {2018-11-14T00:00:00.000+0100}, author = {Greenyer, Joel and Gritzner, Daniel and Gutjahr, Timo and König, Florian and Glade, Nils and Marron, Assaf and Katz, Guy}, biburl = {https://www.bibsonomy.org/bibtex/23e24c1ad223c59dbf3fbcaf501e53737/dblp}, ee = {https://www.wikidata.org/entity/Q58009453}, interhash = {39faa49576bd885adba11f7f694b8f71}, intrahash = {3e24c1ad223c59dbf3fbcaf501e53737}, journal = {Sci. Comput. Program.}, keywords = {dblp}, pages = {15-27}, timestamp = {2018-11-15T11:58:49.000+0100}, title = {ScenarioTools - A tool suite for the scenario-based modeling and analysis of reactive systems.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp149.html#GreenyerGGKGMK17}, volume = 149, year = 2017 }