| Titre affiché | Fichier:Model checking exemple distributeur de boissons.svg |
| Clé de tri par défaut | Model checking exemple distributeur de boissons.svg |
| Taille de la page (en octets) | 0 |
| Identifiant dʼespace de noms | 6 |
| Espace de noms | Fichier |
| Identifiant de la page | 0 |
| Langue du contenu de la page | fr - français |
| Modèle de contenu de la page | wikicode |
| Indexation par robots | Non autorisé |
| Nombre de redirections vers cette page | 0 |
| Valeur de hachage | f7394675c830caf15caa14d8ced059e5e08363ec |
| Créer | Autoriser tous les utilisateurs (infini) |
