Author:
Jonsson Bengt,Tsay Yih-Kuen
Publisher
Springer Berlin Heidelberg
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An automata-theoretic approach to modular model checking;ACM Transactions on Programming Languages and Systems;2000-01
2. Robust Satisfaction;CONCUR’99 Concurrency Theory;1999
3. Modular Model Checking;Compositionality: The Significant Difference;1998
4. Deductive Verification of Modular Systems;Compositionality: The Significant Difference;1998
5. The rely-guarantee method for verifying shared variable concurrent programs;Formal Aspects of Computing;1997-03