Verzia z 15:19, 26. jún 2005 upraviť IW-BOT (diskusia \| príspevky) Boti 83 783 editací d Bot: Automatické nahradzovanie textu r (-[[category: +[[Kategória:) ← Predchádzajúca úprava		Verzia z 01:23, 4. jún 2007 upraviť vrátiť FlaBot (diskusia \| príspevky) Boti 6 325 editací d robot Pridal: de, en, es, fr, it, ja Ďalšia úprava →
Riadok 3: [[Kategória:informatika]] [[Kategória:Články bez interwiki]] [[de:Modellprüfung]] [[en:Model checking]] [[es:Model checking]] [[fr:Model checking]] [[it:Model checking]] [[ja:モデル検査]]

Overovanie modelov: Rozdiel medzi revíziami