![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Author: Heisele Bernd Serre Thomas Poggio T.
Publisher: Springer Publishing Company
ISSN: 0920-5691
Source: International Journal of Computer Vision, Vol.74, Iss.2, 2007-08, pp. : 167-181
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Formal verification of component-based designs
Design Automation for Embedded Systems, Vol. 11, Iss. 1, 2007-03 ,pp. :