Publisher: OECD Publishing
ISSN: 1608-0270
Source: SourceOECD Science & Information Technology, Vol.2012, Iss.3, 2012-05, pp. : 23-38
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. 2010, Iss. 2, 2010-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. :