Assumption/guarantee specifications in linear-time temporal logic,” Theor (1996)

by B Jonsson, Y-K Tsay
Venue:Comput. Sci