![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Publisher: OECD Publishing
ISSN: 1608-0270
Source: SourceOECD Science & Information Technology, Vol.2011, Iss.15, 2011-09, pp. : 1-2
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)
By Havelund Klaus Roşu Grigore
Formal Methods in System Design, Vol. 27, Iss. 3, 2005-11 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Formal Methods in System Design, Vol. 29, Iss. 2, 2006-09 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Mathematics in Computer Science, Vol. 1, Iss. 3, 2008-03 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Machine Learning, Vol. 31, Iss. 1-3, 1998-04 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
By Guo Minyi Cao Jiannong Yang Laurence
The Journal of Supercomputing, Vol. 36, Iss. 3, 2006-06 ,pp. :