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]
@inproceedings{AcretoaieS14-0,
title = {Hypersonic: Model Analysis and Checking in the Cloud},
author = {Vlad Acretoaie and Harald Störrle},
year = {2014},
url = {http://ceur-ws.org/Vol-1206/paper_5.pdf},
researchr = {https://researchr.org/publication/AcretoaieS14-0},
cites = {0},
citedby = {0},
pages = {6-13},
booktitle = {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},
editor = {Dimitris S. Kolovos and Davide Di Ruscio and Nicholas Drivalos Matragkas and Juan de Lara and István Ráth and Massimo Tisi},
volume = {1206},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}