Publisher: OECD Publishing
ISSN: 1608-0270
Source: SourceOECD Science & Information Technology, Vol.2010, Iss.2, 2010-05, pp. : 122-153
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
SourceOECD Science & Information Technology, Vol. 2012, Iss. 3, 2012-05 ,pp. :
Polyhedral Flows in Hybrid Automata
By Alur Rajeev Kannan Sampath La Torre Salvatore
Formal Methods in System Design, Vol. 24, Iss. 3, 2004-05 ,pp. :