Modeling and verifying dynamic communication structures based on graph transformations
Eckardt, Tobias and Heinzemann, Christian and Henkler, Stefan and Hirsch, Martin and Priesterjahn, Claudia and Schäfer, Wilhelm
Computer Science - Research and Development
02 / 2013
article
Springer-Verlag
3-22
