| Zobrazovaný název | Modely a verifikace chování systémů |
| Výchozí klíč řazení | Modely a verifikace chování systémů |
| Velikost stránky (v bajtech) | 1 864 |
| ID stránky | 1225 |
| Jazyk obsahu stránky | čeština (cs) |
| Model obsahu stránky | wikitext |
| Indexování roboty | Dovoleno |
| Počet zobrazení | 16 157 |
| Počet přesměrování na tuto stránku | 1 |
| Stránka se počítá do obsahu | Ano |
| Stránku vytvořil | Che (diskuse | příspěvky) |
| Datum založení stránky | 4. 10. 2005, 18:07 |
| Naposledy editoval | 195.113.65.3 (diskuse) |
| Datum poslední editace | 6. 1. 2007, 16:02 |
| Celkový počet editací | 7 |
| Celkový počet různých autorů | 4 |
| Počet nedávných (91 dní) editací | 0 |
| Nedávný počet různých autorů | 0 |
