%0 Journal Article %1 journals/cee/AhmadAD06 %A Ahmad, Imtiaz %A Ali, Faridah M. %A Das, A. Shoba %D 2006 %J Comput. Electr. Eng. %K dblp %N 5 %P 349-363 %T Synthesis of finite state machines for improved state verification. %U http://dblp.uni-trier.de/db/journals/cee/cee32.html#AhmadAD06 %V 32

@article{journals/cee/AhmadAD06, added-at = {2020-02-19T00:00:00.000+0100}, author = {Ahmad, Imtiaz and Ali, Faridah M. and Das, A. Shoba}, biburl = {https://www.bibsonomy.org/bibtex/25d084b4e1c1f8fb8990f2dfebdeea40f/dblp}, ee = {https://doi.org/10.1016/j.compeleceng.2005.12.002}, interhash = {617969f115e87e3be70dac74f439675b}, intrahash = {5d084b4e1c1f8fb8990f2dfebdeea40f}, journal = {Comput. Electr. Eng.}, keywords = {dblp}, number = 5, pages = {349-363}, timestamp = {2020-02-20T12:03:30.000+0100}, title = {Synthesis of finite state machines for improved state verification.}, url = {http://dblp.uni-trier.de/db/journals/cee/cee32.html#AhmadAD06}, volume = 32, year = 2006 }