%0 Conference Paper %1 conf/amcc/ZhaoK01 %A Zhao, Qianchuan %A Krogh, Bruce H. %B ACC %D 2001 %I IEEE %K dblp %P 313-318 %T Formal verification of Statecharts using finite-state model checkers. %U http://dblp.uni-trier.de/db/conf/amcc/acc2001.html#ZhaoK01 %@ 0-7803-6495-3

@inproceedings{conf/amcc/ZhaoK01, added-at = {2022-10-02T00:00:00.000+0200}, author = {Zhao, Qianchuan and Krogh, Bruce H.}, biburl = {https://www.bibsonomy.org/bibtex/2d974016f1c01d2ec41bbe155d775037c/dblp}, booktitle = {ACC}, crossref = {conf/amcc/2001}, ee = {https://doi.org/10.1109/ACC.2001.945563}, interhash = {10104cd5a5cfe5dfe5e019ea55cb31cd}, intrahash = {d974016f1c01d2ec41bbe155d775037c}, isbn = {0-7803-6495-3}, keywords = {dblp}, pages = {313-318}, publisher = {IEEE}, timestamp = {2024-04-09T13:40:16.000+0200}, title = {Formal verification of Statecharts using finite-state model checkers.}, url = {http://dblp.uni-trier.de/db/conf/amcc/acc2001.html#ZhaoK01}, year = 2001 }