Jan Olaf Blech, Peter Herrmann. Behavioral Types for Space-aware Systems. In Iulia Dragomir, Susanne Graf, Gabor Karsai, Florian Noyrit, Iulian Ober, Damiano Torre, Yvan Labiche, Marcela Genero, Maged Elaasar, editors, Joint Proceedings of the 8th International Workshop on Model-based Architecting of Cyber-physical and Embedded Systems and 1st International Workshop on UML Consistency Rules (ACES-MB 2015 & WUCOR 2015) co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September 28, 2015. Volume 1508 of CEUR Workshop Proceedings, pages 11-18, CEUR-WS.org, 2015. [doi]
@inproceedings{BlechH15,
title = {Behavioral Types for Space-aware Systems},
author = {Jan Olaf Blech and Peter Herrmann},
year = {2015},
url = {http://ceur-ws.org/Vol-1508/paper3.pdf},
researchr = {https://researchr.org/publication/BlechH15},
cites = {0},
citedby = {0},
pages = {11-18},
booktitle = {Joint Proceedings of the 8th International Workshop on Model-based Architecting of Cyber-physical and Embedded Systems and 1st International Workshop on UML Consistency Rules (ACES-MB 2015 & WUCOR 2015) co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September 28, 2015},
editor = {Iulia Dragomir and Susanne Graf and Gabor Karsai and Florian Noyrit and Iulian Ober and Damiano Torre and Yvan Labiche and Marcela Genero and Maged Elaasar},
volume = {1508},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}