| emsoft | participants

Sampada Sonalkar

EMSOFT 2007: 7th ACM & IEEE International Conference on Embedded Software

Existential Abstractions for Distributed Reactive Systems via Syntactic Transformations

Vijay D'Silva, Sampada Sonalkar, and S. Ramesh