Author： Armstrong Michael
Publisher： Springer Publishing Company
ISSN： 0254-5330
Source： Annals of Operations Research, Vol.186, Iss.1, 2011-06, 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
Bytecode Verification by Model Checking
By Basin David Friedrich Stefan Gawkowski Marek
Journal of Automated Reasoning, Vol. 30, Iss. 3-4, 2003-05 ,pp. :
Access to resources
Recommend
Enterprise model verification and validation: an approach
By Chapurlat V. Kamsu-Foguem B. Prunet F.
Annual Reviews in Control, Vol. 27, Iss. 2, 2003-01 ,pp. :
A stochastic model of e-customer behavior
By Jenamani M. Mohapatra P.K.J. Ghose S.
Electronic Commerce Research and Applications, Vol. 2, Iss. 1, 2003-03 ,pp. :