Cited By
View all- Le-Khanh TNguyen HBliudze SMerle P(2023)Towards Exogenous Coordination of Concurrent Cloud ApplicationsInternational Journal of Software Engineering and Knowledge Engineering10.1142/S021819402350038934:01(1-25)Online publication date: 5-Oct-2023
- Baier CBlechmann TKlein JKlüppelholz SLeister W(2010)Design and verification of systems with exogenous coordination using VereofyProceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II10.5555/1939345.1939362(97-111)Online publication date: 18-Oct-2010
- Baier CBlechmann TKlein JKlüppelholz SLeister W(2010)Design and Verification of Systems with Exogenous Coordination Using VereofyLeveraging Applications of Formal Methods, Verification, and Validation10.1007/978-3-642-16561-0_15(97-111)Online publication date: 2010
- Show More Cited By