Did the authors of 'Towards an Integrated Approach to Music Retrieval' not publish 'A Note on Inconsistent Axioms in Rushby's \Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms''?
Did the authors of the publication 'Towards an Integrated Approach to Music Retrieval' not publish 'A Note on Inconsistent Axioms in Rushby's \Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms''?
ASK { <https://dblp.org/rec/conf/ircdl/BuccioMMMMOS09> <https://dblp.org/rdf/schema#authoredBy> ?x . <https://dblp.org/rec/journals/tse/Pike06> <https://dblp.org/rdf/schema#authoredBy> ?x FILTER (<https://dblp.org/rec/journals/tse/Pike06> != <https://dblp.org/rec/conf/ircdl/BuccioMMMMOS09>) FILTER NOT EXISTS { <https://dblp.org/rec/conf/ircdl/BuccioMMMMOS09> <https://dblp.org/rdf/schema#authoredBy> ?x . <https://dblp.org/rec/journals/tse/Pike06> <https://dblp.org/rdf/schema#authoredBy> ?x FILTER (<https://dblp.org/rec/journals/tse/Pike06> != <https://dblp.org/rec/conf/ircdl/BuccioMMMMOS09>) } }
<https://dblp.org/rec/conf/ircdl/BuccioMMMMOS09> <https://dblp.org/rec/journals/tse/Pike06>