Schliessen
Publizieren
Besondere Sammlungen
Digitalisierungsservice
Hilfe
Impressum
Datenschutz
Detailsuche
Schnellsuche:
OK
Titel
Titel
Inhalt
Inhalt
Seite
Seite
Im Werk suchen
Full semantics preservation in model transformation
4 Equivalence Relation on LTS
4.5 ACTL Equivalence and Weak Bisimulation
4.5.3 Additional Theorem about ACTL Formulas Preservation
Wird geladen ...
Dissertation
Full semantics preservation in model transformation
Entstehung
2011
JPEG-Download
verfügbare Breiten
JPEG groß
JPEG original
Seiten an
Seiten aus