@article{Barkalov:2016,
author
=
"O.Barkalov and L.Titarenko and Â.Vizor and A.Matvienko",
title
=
"Optimalizaciâ bloka zameny logičeskih uslovij v sovmescennom avtomate",
journal
=
"Problemi Informatizacii ta Upravlinnâ : Nacional'nij Aviacijnij Universitet ; Kiiv : Zbirnik Naukovih Prac",
volume
=
"Vip. 3(55)",
pages
=
"11--20",
year
=
"2016",
}