Loading [MathJax]/extensions/tex2jax.js

Science of Computer Programming

1 - 1 out of 1Page size: 20
Order:

Publications

  1. 2017

  2. Published

    SCENARIOTOOLS – A tool suite for the scenario-based modeling and analysis of reactive systems

    Greenyer, J., Gritzner, D., Gutjahr, T., König, F., Glade, N., Marron, A. & Katz, G., 1 Dec 2017, In: Science of computer programming. 149, p. 15-27 13 p.

    Research output: Contribution to journal › Article › Research › peer review