![](/img/cover-not-exists.png)
[ACM Press the 6th International Conference - Bangkok, Thailand (2017.02.26-2017.02.28)] Proceedings of the 6th International Conference on Software and Computer Applications - ICSCA '17 - Modularization of formal specifications or efficient synthesis of reactive systems
Shimakawa, Masaya, Osari, Kenji, Hagihara, Shigeki, Yonezaki, NaokiYear:
2017
Language:
english
DOI:
10.1145/3056662.3056702
File:
PDF, 1015 KB
english, 2017