[ACM Press the 14th International Conference - New Delhi, India (2014.10.12-2014.10.17)] Proceedings of the 14th International Conference on Embedded Software - EMSOFT '14 - Deductive control synthesis for alternating-time logics
Dimitrova, Rayna, Majumdar, RupakYear:
2014
Language:
english
DOI:
10.1145/2656045.2656054
File:
PDF, 238 KB
english, 2014