Compositional Model Checking of Real Time Systems.

Franois Laroussinie, Kim Guldstrand Larsen

Browse the full CONCUR paper archive.