TACAS 2014Quasi-Equal Clock Reduction: More Networks, More QueriesChristian Herrera, Bernd Westphal, Andreas PodelskiDOI 10.1007/978-3-642-54862-8_20dblpBibTeXNo abstract available.