de
en
Close
Detailsuche
Bibliotheken
Projekt
Imprint
Privacy Policy
Close
Publizieren
Besondere Sammlungen
Digitalisierungsservice
Hilfe
Impressum
Datenschutz
Search Details
Quicksearch:
OK
Result-List
Title
Title
Content
Content
Page
Page
Search Book
Full semantics preservation in model transformation
6 Case Study: Model Transformation of CCS into Petri Nets
6.5 Correctness of Model Transformation (Step 5)
6.5.1 Auxiliary Notation for Corresponding Nodes
Loading...
Loading image ...