Verification of timed systems using POSETs (1998)

by W Belluomini, C J Myers
Venue:In Proc. Computer Aided Verfication (CAV