%0 Journal Article %1 journals/tac/BenvenisteFHJ03 %A Benveniste, Albert %A Fabre, Eric %A Haar, Stefan %A Jard, Claude %D 2003 %J IEEE Trans. Automat. Contr. %K dblp %N 5 %P 714-727 %T Diagnosis of asynchronous discrete-event systems: a net unfolding approach. %U http://dblp.uni-trier.de/db/journals/tac/tac48.html#BenvenisteFHJ03 %V 48

@article{journals/tac/BenvenisteFHJ03, added-at = {2012-10-25T00:00:00.000+0200}, author = {Benveniste, Albert and Fabre, Eric and Haar, Stefan and Jard, Claude}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/232eddba21d215a1e7256117cd985742e/dblp}, ee = {http://dx.doi.org/10.1109/TAC.2003.811249}, interhash = {f86738165c283d950c61d925c7fa33e4}, intrahash = {32eddba21d215a1e7256117cd985742e}, journal = {IEEE Trans. Automat. Contr.}, keywords = {dblp}, number = 5, pages = {714-727}, timestamp = {2016-02-02T06:21:37.000+0100}, title = {Diagnosis of asynchronous discrete-event systems: a net unfolding approach.}, url = {http://dblp.uni-trier.de/db/journals/tac/tac48.html#BenvenisteFHJ03}, volume = 48, year = 2003 }