Schliessen
Publizieren
Besondere Sammlungen
Digitalisierungsservice
Hilfe
Impressum
Datenschutz
Schliessen
Publizieren
Besondere Sammlungen
Digitalisierungsservice
Hilfe
Impressum
Datenschutz
Detailsuche
Schnellsuche:
OK
Ergebnisliste
Titel
Titel
Inhalt
Inhalt
Seite
Seite
Im Werk suchen
Full semantics preservation in model transformation
6 Case Study: Model Transformation of CCS into Petri Nets
6.1 CCS Language (Steps 1-2)
6.1.4 Semantics Preservation
Wird geladen ...
Wird geladen ...