Datei:Computational Tree Logic Example.png
Größe dieser Vorschau: 635 × 600 Pixel. Weitere Auflösungen: 254 × 240 Pixel | 508 × 480 Pixel | 918 × 867 Pixel
Originaldatei (918 × 867 Pixel, Dateigröße: 108 KB, MIME-Typ: image/png)
Beschreibung, Quelle
| Beschreibung |
CTL Aussagen über den Computation Tree eines Modells M. ist äquivalent zu |
|---|---|
| Quelle |
Erstellt mit LaTeX und Tikz |
| Urheber bzw. Nutzungsrechtinhaber |
Tobias Kaupat |
| Datum |
26.04.2012 |
Lizenz
|
Der Urheberrechtsinhaber dieser Datei hat ein unentgeltliches, bedingungsloses Nutzungsrecht für jedermann ohne zeitliche, räumliche und inhaltliche Beschränkung eingeräumt.
Bei der Einräumung dieses Nutzungsrechtes ist nur der wirkliche Wille des Urhebers und nicht der buchstäbliche Sinn des Ausdrucks erheblich. Daher wird dieses Nutzungsrecht insbesondere auch bei der rechtlich in Deutschland und Österreich nicht möglichen Übergabe durch den Urheber in die Gemeinfreiheit bzw. Public Domain angewendet. |
Dateiversionen
Klicke auf einen Zeitpunkt, um diese Version zu laden.
| Version vom | Vorschaubild | Maße | Benutzer | Kommentar | |
|---|---|---|---|---|---|
| aktuell | 14:11, 26. Apr. 2012 | | 918 × 867 (108 KB) | Tarion (Diskussion | Beiträge) | {{Information |Beschreibung = CTL Aussagen über den Computation Tree eines Modells M |Quelle = Erstellt mit LaTeX und Tikz |Urheber = Tobias Kaupat |Datum = 26.04.2012 |Genehmigung = |Andere Versionen = |Anmerk… |
Du kannst diese Datei nicht überschreiben.
Dateiverwendung
Die folgende Seite verwendet diese Datei:
