H.: Hypersonic: Model Analysis and Checking in the Cloud (2014)

by V Acretoaie, Störrle
Venue:In: Proceedings of the 2nd Workshop on Scalability in Model Driven Engineering. CEUR Workshop Proceedings