Author:
Dyck Johannes,Giese Holger
Publisher
Springer International Publishing
Reference16 articles.
1. Becker, B., Beyer, D., Giese, H., Klein, F., Schilling, D.: Symbolic invariant verification for systems with dynamic structural adaptation. In: Proceedings of the 28th International Conference on Software Engineering (ICSE). ACM, New York (2006)
2. Lecture Notes in Computer Science;C Blume,2012
3. Boneva, I.B., Kreiker, J., Kurban, M.E., Rensink, A., Zambon, E.: Graph abstraction and abstract graph transformations (amended version). Technical report TR-CTIT-12-26, University of Twente, Enschede (2012)
4. Lecture Notes in Computer Science;AF Donaldson,2011
5. Lecture Notes in Computer Science;J Dyck,2015
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献