Period of time： 2014年2期
Publisher： Springer Publishing Company
Founded in： 1994
Total resources： 48
ISSN： 0928-8910
Subject： TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Automated Software Engineering,volume 11,issue 2
Menu
Introduction: Special Section on Automated Verification of Infinite-State Systems
By Bharadwaj Ramesh,Hall Robert J. in (2004)
Automated Software Engineering,volume 11,issue 2 , Vol. 11, Iss. 2, 2004-04 , pp.
Access to resources
Recommend
By Roychoudhury Abhik in (2004)
Automated Software Engineering,volume 11,issue 2 , Vol. 11, Iss. 2, 2004-04 , pp.