Jonsson, B.B.JonssonTsay, Y. -K.Y. -K.Tsay2010-10-132018-06-292010-10-132018-06-291996-10http://ntur.lib.ntu.edu.tw//handle/246246/214896en-USAssumption/Guarantee Specifications in Linear-Time Temporal Logic