@article{Grobelna:2009,
author
=
"I.Grobelna",
title
=
"Formalna analiza interpretowanych algorytmicznych maszyn stanów ASM z wykorzystaniem narzędzia model checker",
journal
=
"Metody Informatyki Stosowanej",
volume
=
"T. 16",
number
=
"nr 3",
pages
=
"107--124",
year
=
"2008",
}