%0
Generic
%T
Formal Modeling, Simulation, and Validation of Communication Platforms
%A Modica, Tony
%A Ehrig, Hartmut
%I Universitätsbibliothek der Technischen Universität Berlin
%K Petrinetze
%K Algebraische High-Level Netze
%K Petrinetztransformation
%K Skype Petri Nets
%K Algebraic High-Level Nets
%K Petri Net Transformation
%K Skype
%K Hochschulschrift
%D 2012
%C Universitätsbibliothek der Technischen Universität Berlin
%C Berlin
%U http://slubdd.de/katalog?TN_libero_mab2