Compositional and Symbolic Model-Checking of Real-Time Systems.

Kim Guldstrand Larsen, Paul Pettersson, Wang Yi

Browse the full RTSS paper archive.