Design and Verification of Systems with Exogenous Coordination Using Vereofy Christel Baier Tobias Blechmann Joachim Klein Sascha Klüppelholz Wolfgang Leister Publication details Part of: ISoLA'10. Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II (Springer, 2010) Links: OMTALE: http://dl.acm.org/citation.cfm?id=1939345&picked=prox&cfid=41993759&cftoken=85574604 FULLTEKST: http://www.springerlink.com/content/60v67526382807v6/?CFID=41993759&CFTOKEN=85574604 Wolfgang Leister Research Director DART You are here: Home Publications Scientific chapter / article / conference article Design and Verification of Systems with Exogenous Coordination Using Vereofy
