Archivo:Ltlweakuntil2.svg
Ir a la navegación
Ir a la búsqueda
Tamaño de esta previsualización PNG del archivo SVG: 152 × 19 píxeles. Otras resoluciones: 320 × 40 píxeles | 640 × 80 píxeles | 1024 × 128 píxeles | 1280 × 160 píxeles | 2560 × 320 píxeles.
Archivo original (archivo SVG, nominalmente 152 × 19 píxeles, tamaño de archivo: 11 kB)
Resumen
| Descripción |
English: Example diagram of LTL weak until operator (which doesn't stop) |
| Fecha | |
| Fuente | Trabajo propio |
| Autor | Shuber2 de Wikipedia en inglés |
Licencia
|
Este trabajo ha sido liberado al dominio público por su autor, Shuber2 de Wikipedia en inglés. Esto aplica para todo el mundo. En algunos países esto puede no ser legalmente factible; si ello ocurriese: Shuber2 otorga a cualquier persona el derecho de usar este trabajo para cualquier propósito, sin ningún tipo de condición, a menos que éstas sean requeridas por la ley. |
Registro original de carga
Aquí se muestra la página de descripción original. Los siguientes nombres de usuario se refieren a en.wikipedia.
| Fecha y hora | Dimensiones | Usuario | Comentario |
|---|---|---|---|
| 2019-02-13 19:28 | 152×19× (11248 bytes) | Shuber2 | Example diagram of LTL weak until operator (which doesn't stop) |
Historial del archivo
Haz clic sobre una fecha y hora para ver el archivo tal como apareció en ese momento.
| Fecha y hora | Miniatura | Dimensiones | Usuario | Comentario | |
|---|---|---|---|---|---|
| actual | 05:30 18 feb 2019 | | 152 × 19 (11 kB) | wikimediacommons>Magog the Ogre | Transferred from en.wikipedia via #commonshelper |
Usos del archivo
La siguiente página usa este archivo:
