%0 Conference Paper %1 conf/smc/MohammadiH07 %A Mohammadi, Rasul %A Hashtrudi-Zad, Shahin %B SMC %D 2007 %I IEEE %K dblp %P 1345-1350 %T A recursive algorithm for diagnosis in hierarchical finite-state machines. %U http://dblp.uni-trier.de/db/conf/smc/smc2007.html#MohammadiH07 %@ 978-1-4244-0991-4

@inproceedings{conf/smc/MohammadiH07, added-at = {2017-05-17T00:00:00.000+0200}, author = {Mohammadi, Rasul and Hashtrudi-Zad, Shahin}, biburl = {https://www.bibsonomy.org/bibtex/20db41e5c5ae9cf4c44ddead4121a915c/dblp}, booktitle = {SMC}, crossref = {conf/smc/2007}, ee = {https://doi.org/10.1109/ICSMC.2007.4414069}, interhash = {39115c0e1bec522b00abfd93c2765dbc}, intrahash = {0db41e5c5ae9cf4c44ddead4121a915c}, isbn = {978-1-4244-0991-4}, keywords = {dblp}, pages = {1345-1350}, publisher = {IEEE}, timestamp = {2019-10-17T22:29:21.000+0200}, title = {A recursive algorithm for diagnosis in hierarchical finite-state machines.}, url = {http://dblp.uni-trier.de/db/conf/smc/smc2007.html#MohammadiH07}, year = 2007 }