File:Ltlevently.png

From formulasearchengine
Jump to navigation Jump to search
Original file (202 × 45 pixels, file size: 872 bytes, MIME type: image/png)

This file is from Wikimedia Commons and may be used by other projects. The description on its file description page there is shown below.

Summary

Description Example diagram of LTL eventually operator
Date
Source Own work
Author Juan Antonio Navarro Perez

Licensing

Public domain 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.

Captions

Add a one-line explanation of what this file represents

Items portrayed in this file

depicts

inception

14 November 2006

File history

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

Date/TimeThumbnailDimensionsUserComment
current15:16, 14 November 2006Thumbnail for version as of 15:16, 14 November 2006202 × 45 (872 bytes)wikimediacommons>NavarroJ{{Information |Description=Example diagram of LTL eventually operator |Source=own work |Date=14 November 2006 |Author=Juan Antonio Navarro Perez |Permission=See below }} Category:Logics

There are no pages that use this file.

Retrieved from "https://en.formulasearchengine.com/wiki/File:Ltlevently.png"