Archived publication

Archived publication

Design and Verification of Systems with Exogenous Coordination Using Vereofy

Baier, Christel; Blechmann, Tobias; Klein, Joachim; Klüppelholz, Sascha; Leister, Wolfgang

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