COMPASS 3.0.

Marco Bozzano, Harold Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta

Browse the full TACAS paper archive.