%0 Conference Paper %1 conf/ijcai/PillQ13 %A Pill, Ingo %A Quaritsch, Thomas %B IJCAI %D 2013 %E Rossi, Francesca %I IJCAI/AAAI %K dblp %P 1053-1059 %T Behavioral Diagnosis of LTL Specifications at Operator Level. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2013.html#PillQ13 %@ 978-1-57735-633-2

@inproceedings{conf/ijcai/PillQ13, added-at = {2022-03-08T00:00:00.000+0100}, author = {Pill, Ingo and Quaritsch, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/2ea94610be0c9a029faf27785d0ec020b/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2013}, editor = {Rossi, Francesca}, ee = {http://ijcai.org/Abstract/13/160}, interhash = {9312c40633a82d920e3e69342c8c6c67}, intrahash = {ea94610be0c9a029faf27785d0ec020b}, isbn = {978-1-57735-633-2}, keywords = {dblp}, pages = {1053-1059}, publisher = {IJCAI/AAAI}, timestamp = {2024-04-10T01:45:48.000+0200}, title = {Behavioral Diagnosis of LTL Specifications at Operator Level.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2013.html#PillQ13}, year = 2013 }