Timed state space exploration using POSETs. (2000)

by W Belluomini, C J Myers
Venue:IEEE Transactions on Computer-Aided Design of Integrated Circuits,