Author:
Höfner Peter,Möller Bernhard,Solin Kim
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Back, R.J., von Wright, J.: Refinement calculus: a systematic introduction. Springer, Heidelberg (1998)
2. Lecture Notes in Computer Science;E. Cohen,2000
3. Lecture Notes in Computer Science;J.-L. Carufel De,2006
4. Desharnais, J., Möller, B., Struth, G.: Kleene algebra with domain. Technical Report 2003-7, Universität Augsburg, Institut für Informatik, Revised version to appear in ACM TOCL (2003)
5. IFIP International Federation for Information Processing Series;J. Desharnais,2004
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献