Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions - (Competition Contribution).

Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schtzle, Frank Schssele

Browse the full TACAS paper archive.