Verification of timed systems using POSETS (1998)

by Wendy Belluomini , Chris J. Myers
Venue:In International Conference on Computer Aided Verification
Citations:35 - 11 self