Compositional checking of satisfaction (1992)

by H R Andersen
Venue:Formal Methods in System Design 1(4