Partial Model Checking with ROBDDs.

Henrik Reif Andersen, Jrgen Staunstrup, Niels Maretti

Browse the full TACAS paper archive.