File:Ltlrelease2.png
No higher resolution available.
Ltlrelease2.png (202 × 45 pixels, file size: 1 KB, MIME type: image/png)
 | This is a file from the Wikimedia Commons. Information from its description page there is shown below. Commons is a freely licensed media file repository. You can help. |
 | 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 release operator (which doesn't stop) |
| 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 | 13:20, 14 November 2006 | | 202 × 45 (1 KB) | NavarroJ | {{Information |Description=Example diagram of LTL release operator (which doesn't stop) |Source=own work |Date=14 November 2006 |Author=Juan Antonio Navarro Perez |Permission=See below }} |
File usage
No pages on the English Wikipedia use this file (pages on other projects are not listed).
Global file usage
The following other wikis use this file:
- Usage on de.wikipedia.org
- Usage on el.wikipedia.org
- Usage on fr.wikipedia.org
- Usage on ja.wikipedia.org
- Usage on pt.wikipedia.org
