%0 Conference Paper %1 conf/wodes/SantoroMBD14 %A Santoro, Leonardo P. M. %A Moreira, Marcos Vicente %A Basilio, João Carlos %A Diene, Oumar %B WODES %D 2014 %E Lesage, Jean-Jacques %E Faure, Jean-Marc %E Cury, José E. R. %E Lennartson, Bengt %I International Federation of Automatic Control %K dblp %P 440-445 %T Computation of Minimal Diagnosis Bases of Discrete-Event Systems Using Verifiers: Method of the Ambiguous Cyclic Paths. %U http://dblp.uni-trier.de/db/conf/wodes/wodes2014.html#SantoroMBD14 %@ 978-3-902823-61-8

@inproceedings{conf/wodes/SantoroMBD14, added-at = {2017-02-06T00:00:00.000+0100}, author = {Santoro, Leonardo P. M. and Moreira, Marcos Vicente and Basilio, João Carlos and Diene, Oumar}, biburl = {https://www.bibsonomy.org/bibtex/2d0d8c22e8942159de4aca6f3da860a2e/dblp}, booktitle = {WODES}, crossref = {conf/wodes/2014}, editor = {Lesage, Jean-Jacques and Faure, Jean-Marc and Cury, José E. R. and Lennartson, Bengt}, ee = {http://dx.doi.org/10.3182/20140514-3-FR-4046.00117}, interhash = {26a58b9205da7f7ef7558f79d94cffee}, intrahash = {d0d8c22e8942159de4aca6f3da860a2e}, isbn = {978-3-902823-61-8}, keywords = {dblp}, pages = {440-445}, publisher = {International Federation of Automatic Control}, timestamp = {2017-02-07T11:35:43.000+0100}, title = {Computation of Minimal Diagnosis Bases of Discrete-Event Systems Using Verifiers: Method of the Ambiguous Cyclic Paths.}, url = {http://dblp.uni-trier.de/db/conf/wodes/wodes2014.html#SantoroMBD14}, year = 2014 }