File:Ltlnext.svg

Page contents not supported in other languages.
This is a file from the Wikimedia Commons
From Wikipedia, the free encyclopedia

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

Summary

Description
English: Example diagram of LTL next 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:18 150×19× (6504 bytes) Shuber2 Example diagram of LTL next 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:32, 18 February 2019Thumbnail for version as of 04:32, 18 February 2019150 × 19 (6 KB)Magog the OgreTransferred from en.wikipedia via #commonshelper
The following 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:

Metadata