Author:
Basu Sanat K.,Yeh Raymond T.
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Meanings of Model Checking;Concurrency, Compositionality, and Correctness;2010
2. Bibliography;Software Error Detection through Testing and Analysis;2008-10-28
3. Bibliography;Rudiments of μ-Calculus;2001
4. Role of Verification in the Software Specification Process;Advances in Computers;1993
5. Chapter 5 Software engineering;Handbooks in Operations Research and Management Science;1992