![](/img/cover-not-exists.png)
[ACM Press the tenth ACM international conference - Tampere, Finland (2012.10.07-2012.10.12)] Proceedings of the tenth ACM international conference on Embedded software - EMSOFT '12 - Synthesis from incompatible specifications
Černý, Pavol, Gopi, Sivakanth, Henzinger, Thomas A., Radhakrishna, Arjun, Totla, NishantYear:
2012
Language:
english
DOI:
10.1145/2380356.2380371
File:
PDF, 638 KB
english, 2012