| emsoft | participants

Nishant Totla

EMSOFT 2012: 12th International Conference on Embedded Software

Synthesis from Incompatible Specifications

Pavol Černý, Sivakanth Gopi, Thomas A. Henzinger, Arjun Radhakrishna, and Nishant Totla