Author： Bertrand N. Schnoebelen P.
Publisher： Springer Publishing Company
ISSN： 0925-9856
Source： Formal Methods in System Design, Vol.43, Iss.2, 2013-10, pp. : 233-267
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
By Geeraerts Gilles Raskin Jean-François Begin Laurent
Acta Informatica, Vol. 44, Iss. 3-4, 2007-07 ,pp. :
Access to resources
Recommend
