Conditional Specification with Inequational Assumptions.

Chilukuri K. Mohan Mandayam K. Srivas Conditional Specification with Inequational Assumptions. 161-178 1987 conf/ctrs/1987 CTRS db/conf/ctrs/ctrs87.html#MohanS87