Ficheiro:Ltlevently.png
Ltlevently.png (202 × 45 píxeis, tamanho: 872 byte, tipo MIME: image/png)
Histórico do ficheiro
Clique uma data e hora para ver o ficheiro tal como ele se encontrava nessa altura.
Data e hora | Miniatura | Dimensões | Utilizador | Comentário | |
---|---|---|---|---|---|
atual | 13h16min de 14 de novembro de 2006 | 202 × 45 (872 byte) | 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 |
Utilização local do ficheiro
A seguinte página usa este ficheiro:
Utilização global do ficheiro
As seguintes wikis usam este ficheiro:
- de.wikipedia.org
- el.wikipedia.org
- fr.wikipedia.org
- ja.wikipedia.org