Hélène Waeselynck, Zoltán Micskei, Nicolas Riviere, Áron Hamvas, Irina Nitu. TERMOS: A Formal Language for Scenarios in Mobile Computing Systems. In Patrick Sénac, Max Ott, Aruna Seneviratne, editors, Mobile and Ubiquitous Systems: Computing, Networking, and Services - 7th International ICST Conference, MobiQuitous 2010, Sydney, Australia, December 6-9, 2010, Revised Selected Papers. Volume 73 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, pages 285-296, Springer, 2010. [doi]
Abstract is missing.