Symbiotic 11 Predicate Abstraction Joins the Party - (Competition Contribution).

Paulna Ayaziov, Martin Jons, Vincent Mihalkovic, Jindrich Sedlcek, Jan Strejcek

Browse the full TACAS paper archive.