@InProceedings{Babakov:2018,
author
=
"R.Babakov and O.Barkalov",
title
=
"Structural Representation of Synthesis Methods of Finite State Machine with Datapath of Transitions",
booktitle
=
"The 9th IEEE International Conference on Dependable Systems, Services and Technologies - DESSERT 2018; ISBN: 9781538659038",
address
=
"Kyiv, Ukraina",
publisher
=
"New York IEEE Xplore ",
pages
=
"242--246",
year
=
"2018",
}