> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: Formal Modeling, Simulation, and Validation of Communication Platforms Weitere Titel: Formale Modellierung, Simulation and Validierung von Kommunikationsplattformen Beteiligte: Modica, Tony [Verfasser]; Ehrig, Hartmut [Akademischer Betreuer] Erschienen: Berlin: Universitätsbibliothek der Technischen Universität Berlin, 2012 Umfang: Online-Ressource Sprache: Englisch Identifikator: Schlagwörter: Petrinetze ; Algebraische High-Level Netze ; Petrinetztransformation ; Skype Petri Nets ; Algebraic High-Level Nets ; Petri Net Transformation ; Skype ; Hochschulschrift Entstehung: Hochschulschrift: Berlin, Technische Universtität Berlin, Diss., 2012 Anmerkungen: Zugangsstatus: Freier Zugang