Period of time: 2013年2期
Publisher: Springer Publishing Company
Founded in: 1992
Total resources: 27
ISSN: 0925-9856
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.
Formal Methods in System Design,volume 24,issue 2
Menu
By Havelund Klaus,Roşu Grigore in (2004)
Formal Methods in System Design,volume 24,issue 2 , Vol. 24, Iss. 2, 2004-03 , pp.By Finkbeiner Bernd,Sipma Henny in (2004)
Formal Methods in System Design,volume 24,issue 2 , Vol. 24, Iss. 2, 2004-03 , pp.By Kim MoonZoo,Viswanathan Mahesh,Kannan Sampath,Lee Insup,Sokolsky Oleg in (2004)
Formal Methods in System Design,volume 24,issue 2 , Vol. 24, Iss. 2, 2004-03 , pp.By Kortenkamp David,Simmons Reid,Milam Tod,Fernández Joaquín L. in (2004)
Formal Methods in System Design,volume 24,issue 2 , Vol. 24, Iss. 2, 2004-03 , pp.By Havelund Klaus,Roşu Grigore in (2004)
Formal Methods in System Design,volume 24,issue 2 , Vol. 24, Iss. 2, 2004-03 , pp.