Design and Verification of Systems with Exogenous Coordination Using Vereofy

@inproceedings{Baier2010DesignAV,
  title={Design and Verification of Systems with Exogenous Coordination Using Vereofy},
  author={Christel Baier and Tobias Blechmann and Joachim Klein and Sascha Kl{\"u}ppelholz and Wolfgang Leister},
  booktitle={ISoLA},
  year={2010}
}

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.