%0 Conference Paper %1 conf/aaai/BittnerBCO12 %A Bittner, Benjamin %A Bozzano, Marco %A Cimatti, Alessandro %A Olive, Xavier %B AAAI %D 2012 %E Hoffmann, Jörg %E Selman, Bart %I AAAI Press %K dblp %P 712-718 %T Symbolic Synthesis of Observability Requirements for Diagnosability. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2012.html#BittnerBCO12

@inproceedings{conf/aaai/BittnerBCO12, added-at = {2023-09-04T00:00:00.000+0200}, author = {Bittner, Benjamin and Bozzano, Marco and Cimatti, Alessandro and Olive, Xavier}, biburl = {https://www.bibsonomy.org/bibtex/2c8de6a1c56133301b51f40060a988d42/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2012}, editor = {Hoffmann, Jörg and Selman, Bart}, ee = {https://doi.org/10.1609/aaai.v26i1.8225}, interhash = {80b399abadcf231c2d4bf2db9a6aedc7}, intrahash = {c8de6a1c56133301b51f40060a988d42}, keywords = {dblp}, pages = {712-718}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:13:01.000+0200}, title = {Symbolic Synthesis of Observability Requirements for Diagnosability.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2012.html#BittnerBCO12}, year = 2012 }