File:Ltlalways.png
Jump to navigation
Jump to search
Size of this preview: 202 × 45 pixels.
Original file (202 × 45 pixels, file size: 995 bytes, MIME type: image/png)
 | This PNG image was uploaded in a graphics format such as GIF, PNG, JPEG, or SVG. However, it consists purely or largely of information which is better suited to representation in wikitext (possibly using MediaWiki's special syntax for tables, math, or music). This will make the information easier to edit, as well as make it accessible to users of screen readers and text-based browsers.
If possible, please replace any inclusions of this image in articles (noted under the “File links” header) with properly formatted wikitext. After doing so, please consider nominating this image for deletion. |  |
Summary
| Description | Example diagram of LTL always operator |
| Date | |
| Source | Own work |
| Author | Juan Antonio Navarro Perez |
Licensing
|
I, the copyright holder of this work, release this work into the public domain. This applies worldwide. In some countries this may not be legally possible; if so: I grant anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law. |
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 15:18, 14 November 2006 | | 202 × 45 (995 bytes) | wikimediacommons>NavarroJ | {{Information |Description=Example diagram of LTL always operator |Source=own work |Date=14 November 2006 |Author=Juan Antonio Navarro Perez |Permission=See below }} |
File usage
There are no pages that use this file.
