Author:
Mossakowski Till,Tarlecki Andrzej
Publisher
Springer Berlin Heidelberg
Reference38 articles.
1. Lecture Notes in Computer Science;M. Arrais,1996
2. Lecture Notes in Computer Science;R.M. Burstall,1980
3. Borceux, F.: Handbook of Categorical Algebra I. Cambridge University Press, Cambridge (1994)
4. Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Addison-Wesley, Reading (1998)
5. Cornelius, F., Baldamus, M., Ehrig, H., Orejas, F.: Abstract and behaviour module specifications. Mathematical Structures in Computer Science 9(1), 21–62 (1999)
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献