TY -
GEN
AU - Modica, Tony
AU - Ehrig, Hartmut
TI -
Formal Modeling, Simulation, and Validation of Communication Platforms
PB - Universitätsbibliothek der Technischen Universität Berlin
KW - Petrinetze
KW - Algebraische High-Level Netze
KW - Petrinetztransformation
KW - Skype Petri Nets
KW - Algebraic High-Level Nets
KW - Petri Net Transformation
KW - Skype
KW - Hochschulschrift
PY - 2012
CY - Berlin
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -