Image:Ltlalways.png
From Wikipedia, the free encyclopedia
No higher resolution available.
Ltlalways.png (202 × 45 pixels, file size: 995 B, MIME type: image/png)
| This is a file from the Wikimedia Commons. The description on its description page there is shown below.
|
[edit] Summary
| Description |
Example diagram of LTL always operator |
|---|---|
| Source |
own work |
| Date |
14 November 2006 |
| Author | |
| Permission (Reusing this image) |
See below |
[edit] Licensing
 |
I, the copyright holder of this work, hereby release it into the public domain. This applies worldwide. In case this is not legally possible: Afrikaans | Alemannisch | Aragonés | العربية | Asturianu | Български | Català | Česky | Cymraeg | Dansk | Deutsch | Eʋegbe | Ελληνικά | English | Español | Esperanto | Euskara | Estremeñu | فارسی | Français | Galego | 한국어 | हिन्दी | Hrvatski | Ido | Bahasa Indonesia | Íslenska | Italiano | עברית | Kurdî / كوردی | Latina | Lietuvių | Latviešu | Magyar | Македонски | Bahasa Melayu | Nederlands | Norsk (bokmål) | Norsk (nynorsk) | 日本語 | Polski | Português | Ripoarisch | Română | Русский | Shqip | Slovenčina | Slovenščina | Српски / Srpski | Svenska | ไทย | Tagalog | Türkçe | Українська | Tiếng Việt | Walon | 中文(简体) | 中文(繁體) | zh-yue-hant | +/- |
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Dimensions | User | Comment | |
|---|---|---|---|---|
| current | 13:18, 14 November 2006 | 202×45 (995 B) | NavarroJ | ({{Information |Description=Example diagram of LTL always operator |Source=own work |Date=14 November 2006 |Author=Juan Antonio Navarro Perez |Permission=See below }} ) |
