Superposition Refinement of Reactive Systems (1993)

Cached

Download Links

by R. J. R. Back , K. Sere
Venue:FORMAL ASPECTS OF COMPUTING
Citations:34 - 7 self