![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Publisher: IGI Global_journal
E-ISSN: 1548-7725|5|1|168-183
ISSN: 1548-7717
Source: Journal of Cases on Information Technology (JCIT), Vol.5, Iss.1, 2003-01, pp. : 168-183
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
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Formal methods in LARGE-SCALE computing systems
By Malik Saif U. R. Khan Samee U.
ITNOW, Vol. 55, Iss. 2, 2013-06 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Program: electronic library & information systems, Vol. 37, Iss. 2, 2003-02 ,pp. :