Author:
Engels Gregor,Heckel Reiko,Küster Jochen M.,Groenewegen Luuk
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. H. Ehrig, M. Pfender, and H. Schneider. Graph grammars:an algebraic approach. In 14th Annual IEEE Symposium on Switching and Automata Theory pages 167–180. IEEE,1973.
2. Lect Notes Comput Sci;G. Engels,2001
3. G. Engels, J.M. Küster, L. Groenewegen, and R. Heckel. Amethodology for specifying and analyzing consistency of object-oriented behavior l models.In V. Gruhn,editor, Proceedings of the 8th European Software Engineering Conference (ESEC),pages 186–195.ACM Press, 2001.
4. Formal Systems Europe (Ltd).Failures-Divergence-Refinement: FDR2 User Manual 1997.
5. J.-J. Hiemer.Statecharts in CSP: Ein Prozessmodell in CSP zur Analyse von STATEMATE-Statecharts DrKovac Verlag,1999.
Cited by
34 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献