%0 Journal Article %1 journals/mta/BuiO22 %A Bui, Dang Duy %A Ogata, Kazuhiro %D 2022 %J Multim. Tools Appl. %K dblp %N 1 %P 237-272 %T Better state pictures facilitating state machine characteristic conjecture. %U http://dblp.uni-trier.de/db/journals/mta/mta81.html#BuiO22 %V 81

@article{journals/mta/BuiO22, added-at = {2022-02-08T00:00:00.000+0100}, author = {Bui, Dang Duy and Ogata, Kazuhiro}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/241d2ef302231250721ee455f9721fd3e/dblp}, ee = {https://doi.org/10.1007/s11042-021-10992-z}, interhash = {5e83afb7829357ae9658564cde4959fe}, intrahash = {41d2ef302231250721ee455f9721fd3e}, journal = {Multim. Tools Appl.}, keywords = {dblp}, number = 1, pages = {237-272}, timestamp = {2022-03-01T06:30:19.000+0100}, title = {Better state pictures facilitating state machine characteristic conjecture.}, url = {http://dblp.uni-trier.de/db/journals/mta/mta81.html#BuiO22}, volume = 81, year = 2022 }