Superposition refinement of reactive systems (1996)

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