Publisher: IGI Global_journal
E-ISSN: 1947-346x|2|4|20-36
ISSN: 1947-3451
Source: International Journal of Technoethics (IJT), Vol.2, Iss.4, 2011-10, pp. : 20-36
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 Abdelnour-Nocera Jose Dunckley Lynne
International Journal of Web Based Communities, Vol. 4, Iss. 4, 2008-07 ,pp. :
Model Checking with Strong Fairness
By Kesten Yonit Pnueli Amir Raviv Li-On Shahar Elad
Formal Methods in System Design, Vol. 28, Iss. 1, 2006-01 ,pp. :