acm sigbed
|
emsoft
|
participants
Mila E. Majster-Cederbaum
EMSOFT 2008: 8th ACM & IEEE International Conference on Embedded Software
Compositional Analysis of Deadlock-Freedom for Tree-Like Component Architectures
Mila E. Majster-Cederbaum
and
Moritz Martens
10.1145/1450058.1450085
http://www.cecs.uci.edu/~papers/esweek08/emsoft/p199.pdf