Superposition Refinement of Reactive Systems (1996)

by R J R Back, K Sere
Venue:Form. Asp. Comp