File:Ltlrelease-stop.svg

来自testwiki
跳转到导航 跳转到搜索
原始文件 （SVG文件，尺寸为150 × 19像素，文件大小：10 KB）

本文件来自维基共享资源并可能被其他项目使用。 其文件描述页上的描述显示在下面。

摘要

描述
English: Example diagram of LTL release operator (which stops)
日期
来源 自己的作品
作者 英语維基百科的Shuber2

许可协议

Public domain 本作品已被作者英语維基百科的Shuber2释出到公有领域。这适用于全世界。
在一些国家这可能不合法；如果是这样的话，那么：
Shuber2无条件地授予任何人以任何目的使用本作品的权利，除非这些条件是法律规定所必需的。

原始上传日志

原始描述頁面位於這裡。下列使用者名稱均來自en.wikipedia。
日期/时间 大小 用户 备注
2019-02-13 19:24 150×19× (10578 bytes) Shuber2 Example diagram of LTL release operator (which stops)

说明

添加一行文字以描述该文件所表现的内容

此文件中描述的项目

描繪內容

文件历史

点击某个日期/时间查看对应时刻的文件。

日期/时间缩⁠略⁠图大小用户备注
当前2019年2月18日 (一) 05:192019年2月18日 (一) 05:19版本的缩略图150 × 19​（10 KB）wikimediacommons>Magog the OgreTransferred from en.wikipedia via #commonshelper

以下页面使用本文件：

检索自“https://zh.wiki.beta.math.wmflabs.org/wiki/File:Ltlrelease-stop.svg”