An Efficient State Space Generation for Analysis of Real-Time Systems.

Inhye Kang, Insup Lee

Browse the full ISSTA paper archive.