Datei:Computational Tree Logic Example.png
Es ist keine Datei dieses Namens vorhanden.
Beschreibung, Quelle
<templatestyles src="Information/styles.css" />
| Beschreibung |
CTL Aussagen über den Computation Tree eines Modells M. <math>p \rightsquigarrow q</math> ist äquivalent zu <math>A\square (p \rightarrow A\lozenge q)</math> |
|---|---|
| Quelle |
Erstellt mit LaTeX und Tikz |
| Urheber bzw. Nutzungsrechtinhaber |
Tobias Kaupat |
| Datum |
26.04.2012 |
Lizenz
| Datei:SemiPD-icon.svg | 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. |
Dateiverwendung
Keine Seite verwendet diese Datei.
