Superposition Refinement of Reactive Systems (1996)

by R J Back, K Sere
Venue:In Formal Aspects of Computing