File:Ltleventually.svg

Original file (SVG file, nominally 150 × 19 pixels, file size: 8 KB)

Summary

Description
English: Example diagram of LTL eventually operator
Date
Source Own work
Author Shuber2 at English Wikipedia


Licensing

Public domain This work has been released into the public domain by its author, Shuber2 at English Wikipedia. This applies worldwide.
In some countries this may not be legally possible; if so:
Shuber2 grants anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law.

Original upload log

The original description page was here. All following user names refer to en.wikipedia.
Date/Time Dimensions User Comment
2019-02-13 19:20 150×19× (8406 bytes) Shuber2 Example diagram of LTL eventually operator

Captions

Add a one-line explanation of what this file represents

Items portrayed in this file

depicts

13 February 2019

8,406 byte

19 pixel

150 pixel

image/svg+xml

44beb7dc51b907bee5fb05207cb2fe378529c854

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeThumbnailDimensionsUserComment
current04:19, 18 February 2019Thumbnail for version as of 04:19, 18 February 2019150 × 19 (8 KB)Magog the OgreTransferred from en.wikipedia via #commonshelper

The following page uses this file:

Global file usage

The following other wikis use this file:

Metadata