acm sigbed
|
emsoft
|
participants
Vijay D'Silva
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
10.1145/1289927.1289965
http://www.cecs.uci.edu/~papers/esweek07/emsoft/p240.pdf