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
4 Equivalence Relation on LTS
4.5 ACTL Equivalence and Weak Bisimulation
4.5.2 Preservation of ACTL Formulas by Weak Bisimulation
Wird geladen ...
Dissertation
Full semantics preservation in model transformation
Entstehung
2011
JPEG-Download
verfügbare Breiten
JPEG groß
JPEG original
Seiten an
Seiten aus