Using MTBDDs for Compostion and Model Checking of Real-Time Systems.

Jrgen Ruf, Thomas Kropf

Browse the full FMCAD paper archive.