Period of time: 2013年1期
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 28,issue 1
Menu
Compositional SCC Analysis for Language Emptiness
By Wang Chao,Bloem Roderick,Hachtel Gary,Ravi Kavita,Somenzi Fabio in (2006)
Formal Methods in System Design,volume 28,issue 1 , Vol. 28, Iss. 1, 2006-01 , pp.An Algorithm for Strongly Connected Component Analysis in
By Bloem Roderick,Gabow Harold,Somenzi Fabio in (2006)
Formal Methods in System Design,volume 28,issue 1 , Vol. 28, Iss. 1, 2006-01 , pp.Model Checking with Strong Fairness
By Kesten Yonit,Pnueli Amir,Raviv Li-On,Shahar Elad in (2006)
Formal Methods in System Design,volume 28,issue 1 , Vol. 28, Iss. 1, 2006-01 , pp.