File:Ltlrelease1.png
From Wikimedia Commons, the free media repository
Jump to navigation
Jump to search
Ltlrelease1.png (202 × 45 pixels, file size: 1 KB, MIME type: image/png)
File information
Structured data
Captions
Captions
Add a one-line explanation of what this file represents
![]() | 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. Deutsch ∙ English ∙ +/− | ![]() |
Summary
[edit]DescriptionLtlrelease1.png | Example diagram of LTL release operator (which stops) |
Date | |
Source | Own work |
Author | Juan Antonio Navarro Perez |
Licensing
[edit]Public domainPublic domainfalsefalse |
![]() |
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:19, 14 November 2006 | ![]() | 202 × 45 (1 KB) | NavarroJ (talk | contribs) | {{Information |Description=Example diagram of LTL release operator (which stops) |Source=own work |Date=14 November 2006 |Author=Juan Antonio Navarro Perez |Permission=See below }} |
You cannot overwrite this file.
File usage on Commons
There are no pages that use this file.
File usage on other wikis
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
Hidden categories: