Verzia z 19:50, 28. apríl 2009 upraviť LaaknorBot (diskusia \| príspevky) 23 441 editací d robot Pridal: pt:Verificação de Modelos ← Predchádzajúca úprava		Verzia z 06:27, 30. apríl 2009 upraviť vrátiť Xqbot (diskusia \| príspevky) 118 631 editací d robot Zmenil: pt:Model Checking Ďalšia úprava →
Riadok 9: [[it:Model checking]] [[ja:モデル検査]] [[pt:~~Verificação~~Model ~~de Modelos~~Checking]] [[ru:Проверка моделей]]

Overovanie modelov: Rozdiel medzi revíziami