Author:
Schmidt David,Steffen Bernhard
Publisher
Springer Berlin Heidelberg
Reference53 articles.
1. Lecture Notes;P. Aczel,1988
2. Lect Notes Comput Sci;S. Bensalem,1992
3. D. Berry. Generating Program Animators from Programming Language Semantics, Ph.D. Thesis, LFCS Report ECS-LFCS-91-148, University of Edinburgh, 1991.
4. Lect Notes Comput Sci;O. Burkart,1992
5. S. C. Cheung and J. Kramer. An Integrated Method For Effective Behaviour Analysis of Distributed Systems. Proceedings of the 16th International Conference on Software Engineering, Sorrento, CA, USA, 1994, pp. 309–320.
Cited by
52 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献