Vlad Acretoaie, Harald Störrle. Hypersonic: Model Analysis and Checking in the Cloud. In Dimitris S. Kolovos, Davide Di Ruscio, Nicholas Drivalos Matragkas, Juan de Lara, István Ráth, Massimo Tisi, editors, Proceedings of the 2nd Workshop on Scalability in Model Driven Engineering co-located with the Software Technologies: Applications and Foundations Conference, BigMDE@STAF2014, York, UK, July 24, 2014. Volume 1206 of CEUR Workshop Proceedings, pages 6-13, CEUR-WS.org, 2014. [doi]
Abstract is missing.