%0 Journal Article %1 journals/tac/GiuaLS20 %A Giua, Alessandro %A Lafortune, Stéphane %A Seatzu, Carla %D 2020 %J IEEE Trans. Autom. Control. %K dblp %N 7 %P 3092-3097 %T Divergence Properties of Labeled Petri Nets and Their Relevance for Diagnosability Analysis. %U http://dblp.uni-trier.de/db/journals/tac/tac65.html#GiuaLS20 %V 65

@article{journals/tac/GiuaLS20, added-at = {2020-07-13T00:00:00.000+0200}, author = {Giua, Alessandro and Lafortune, Stéphane and Seatzu, Carla}, biburl = {https://www.bibsonomy.org/bibtex/27960214b7cdf333648867b19b3b9c8d9/dblp}, ee = {https://doi.org/10.1109/TAC.2019.2947650}, interhash = {02cef23aca7b14394c849ee969fc4360}, intrahash = {7960214b7cdf333648867b19b3b9c8d9}, journal = {IEEE Trans. Autom. Control.}, keywords = {dblp}, number = 7, pages = {3092-3097}, timestamp = {2020-07-24T00:17:12.000+0200}, title = {Divergence Properties of Labeled Petri Nets and Their Relevance for Diagnosability Analysis.}, url = {http://dblp.uni-trier.de/db/journals/tac/tac65.html#GiuaLS20}, volume = 65, year = 2020 }