Formal veri of out-of-order execution using incremental (1998)

by J U Skakkaebaek, R B Jones, D L Dill
Venue:In (CAV '98), LNCS 1427