Tobias Eckardt, Christian Heinzemann, Stefan Henkler, Martin Hirsch, Claudia Priesterjahn, Wilhelm Schäfer. Modeling and verifying dynamic communication structures based on graph transformations. Inform., Forsch. Entwickl., 28(1):3-22, 2013. [doi]
Abstract is missing.