Author:
Boiten E. A.,Partsch H. A.,Tuijnman D.,Volker N.
Publisher
Oxford University Press (OUP)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formalization and Verification of the ICC Mechanism in Android System Using CSP;2023 IEEE 34th International Symposium on Software Reliability Engineering Workshops (ISSREW);2023-10-09
2. A Powerful Transformation Rule, its Applications and Variants;Algorithmic Languages and Calculi;1997
3. Verification of parallel programs;International Journal of Computer Mathematics;1995-01