@article{Barkalov:2013,
author
=
"O.Barkalov and L.Titarenko and S.Chmielewski",
title
=
"Synthesis of finite state machines with use of pseudoequivalent states",
journal
=
"Pomiary, Automatyka, Kontrola",
volume
=
"Vol. 59",
number
=
"nr 11",
pages
=
"1198--1202",
year
=
"2013",
}