Archived publication
Archived publication
Design and Verification of Systems with Exogenous Coordination Using Vereofy
October 18, 2010
DART
- Published date: October 18, 2010
- Publisher: Springer
- Refereed: 1
- Conference: ISoLA
- Page(s): 97-111
- Journal:
- Name and number of project: Credo
- Volume/number: LNCS 6416
- Title: Design and Verification of Systems with Exogenous Coordination Using Vereofy
- Author(s): Baier, Christel; Blechmann, Tobias; Klein, Joachim; Klüppelholz, Sascha; Leister, Wolfgang
- ISBN: 978-3-642-16560-3
- Book title: ISoLA (2), Lecture Notes in Computer Science Volume 6416
- Editor: Margaria, Tiziana; Steffen, Bernhard