acm sigbed
|
emsoft
|
participants
Ankur Taly
EMSOFT 2010: 10th International Conference on Embedded Software
Switching Logic Synthesis for Reachability
Ankur Taly
and
Ashish Tiwari
10.1145/1879021.1879025
https://theory.stanford.edu/~ataly/Papers/emsoft10.pdf