Verification of Timed Systems Using POSETs.

Wendy Belluomini, Chris J. Myers

Browse the full CAV paper archive.