Period of time: 2013年3期
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 23,issue 3
Menu
By Brzozowski J.,Ésik Z. in (2003)
Formal Methods in System Design,volume 23,issue 3 , Vol. 23, Iss. 3, 2003-11 , pp.Constraint-Based Verification of Parameterized Cache Coherence Protocols
Formal Methods in System Design,volume 23,issue 3 , Vol. 23, Iss. 3, 2003-11 , pp.From
By Henzinger Thomas A.,Kupferman Orna,Qadeer Shaz in (2003)
Formal Methods in System Design,volume 23,issue 3 , Vol. 23, Iss. 3, 2003-11 , pp.