Joel Greenyer, Christian Brenner, Valerio Panzica La Manna
The ScenarioTools Play-Out of Modal Sequence Diagram Specifications with Environment Assumptions
GT-VMT, 2013.
@article{GT-VMT-2013-GreenyerBM, author = "Joel Greenyer and Christian Brenner and Valerio Panzica La Manna", ee = "http://journal.ub.tu-berlin.de/eceasst/article/view/856", journal = "{Electronic Communications of the EASST}", title = "{The ScenarioTools Play-Out of Modal Sequence Diagram Specifications with Environment Assumptions}", volume = 58, year = 2013, }