File:Ltlalways.svg

Original file (SVG file, nominally 152 × 19 pixels, file size: 11 KB)

Summary

Description
English: Example diagram of LTL always 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:21 152×19× (11191 bytes) Shuber2 Example diagram of LTL always operator

Captions

Add a one-line explanation of what this file represents

Items portrayed in this file

depicts

13 February 2019

File history

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

Date/TimeThumbnailDimensionsUserComment
current04:31, 18 February 2019Thumbnail for version as of 04:31, 18 February 2019152 × 19 (11 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