TNT logo LUH TNT

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}
}


Back