ScenarioTools - A tool suite for the scenario-based modeling and analysis of reactive systems.

Joel GreenyerDaniel GritznerTimo GutjahrFlorian KönigNils GladeAssaf MarronGuy Katz
Published in: Sci. Comput. Program. (2017)