%0 Journal Article %1 journals/tac/CabasinoGLS12 %A Cabasino, Maria Paola %A Giua, Alessandro %A Lafortune, Stéphane %A Seatzu, Carla %D 2012 %J IEEE Trans. Automat. Contr. %K dblp %N 12 %P 3104-3117 %T A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets. %U http://dblp.uni-trier.de/db/journals/tac/tac57.html#CabasinoGLS12 %V 57

@article{journals/tac/CabasinoGLS12, added-at = {2012-11-29T00:00:00.000+0100}, author = {Cabasino, Maria Paola and Giua, Alessandro and Lafortune, Stéphane and Seatzu, Carla}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/25bced323e00b45536ad890dde7cd2e10/dblp}, ee = {http://dx.doi.org/10.1109/TAC.2012.2200372}, interhash = {7073817d26d1090ba667ff04d664ec76}, intrahash = {5bced323e00b45536ad890dde7cd2e10}, journal = {IEEE Trans. Automat. Contr.}, keywords = {dblp}, number = 12, pages = {3104-3117}, timestamp = {2016-02-02T06:21:37.000+0100}, title = {A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets.}, url = {http://dblp.uni-trier.de/db/journals/tac/tac57.html#CabasinoGLS12}, volume = 57, year = 2012 }