TNT logo LUH TNT

BibTex Format for Publications

@inproceedings { GreGri2016d,
  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}
}


Back