File:Ltlrelease-stop.svg
此SVG文件的PNG预览的大小：150 × 19像素。 其他分辨率：320 × 41像素 | 640 × 81像素 | 1,024 × 130像素 | 1,280 × 162像素 | 2,560 × 324像素。
原始文件 （SVG文件，尺寸为150 × 19像素，文件大小：10 KB）
摘要
许可协议
|
本作品已被作者英语维基百科的Shuber2释出到公有领域。这适用于全世界。 在一些国家这可能不合法；如果是这样的话，那么： Shuber2无条件地授予任何人以任何目的使用本作品的权利，除非这些条件是法律规定所必需的。 |
原始上传日志
The original description page was here. All following user names refer to en.wikipedia.
| 日期/时间 | 大小 | 用户 | 备注 |
|---|---|---|---|
| 2019-02-13 19:24 | 150×19× (10578 bytes) | Shuber2 | Example diagram of LTL release operator (which stops) |
文件历史
点击某个日期/时间查看对应时刻的文件。
| 日期/时间 | 缩略图 | 大小 | 用户 | 备注 | |
|---|---|---|---|---|---|
| 当前 | 2019年2月18日 (一) 04:19 | | 150 × 19（10 KB） | Magog the Ogre | Transferred from en.wikipedia via #commonshelper |
文件用途
以下页面使用本文件：
全域文件用途
以下其他wiki使用此文件：
- en.wikipedia.org上的用途
- es.wikipedia.org上的用途
