acm sigbed
|
emsoft
|
participants
Tatjana Petrov
EMSOFT 2008: 8th ACM & IEEE International Conference on Embedded Software
Interface Theories with Component Reuse
Laurent Doyen
,
Thomas A. Henzinger
,
Barbara Jobstmann
, and
Tatjana Petrov
10.1145/1450058.1450070
http://www.cecs.uci.edu/~papers/esweek08/emsoft/p79.pdf