![](/img/cover-not-exists.png)
[IEEE 2006 Design, Automation and Test in Europe - Munich, Germany (2006.3.6-2006.3.10)] Proceedings of the Design Automation & Test in Europe Conference - Disjunctive Image Computation for Embedded Software Verification
Chao Wang,, Zijiang Yang,, Ivancic, F., Gupta, A.Year:
2006
Language:
english
DOI:
10.1109/date.2006.244049
File:
PDF, 1.06 MB
english, 2006