Author:
Blume Christoph,Bruggink H. J. Sander,Engelke Dominik,König Barbara
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Lecture Notes in Computer Science;P.A. Abdulla,2010
2. Andersen, H.R.: An introduction to binary decision diagrams. Course Notes (1997), http://www.configit.com/fileadmin/Configit/Documents/bdd-eap.pdf
3. Bauderon, M., Courcelle, B.: Graph expressions and graph rewritings. Mathematical Systems Theory 20(2-3), 83–127 (1987)
4. Becker, B., Beyer, D., Giese, H., Klein, F., Schilling, D.: Symbolic invariant verification for systems with dynamic structural adaptation. In: Proc. of ICSE 2006 (International Conference on Software Engineering), pp. 72–81. ACM (2006)
5. Blume, C.: Graphsprachen für die Spezifikation von Invarianten bei verteilten und dynamischen Systemen. Master’s thesis, Universität Duisburg-Essen (2008)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献