Assumption/guarantee specifications in linear-time temporal logic

Jonsson, BBJonssonYIH-KUEN TSAY2020-02-112020-02-111995https://scholars.lib.ntu.edu.tw/handle/123456789/457439Assumption/guarantee specifications in linear-time temporal logicconference paper10.1007/3-540-59293-8_2002-s2.0-84957646038https://www.scopus.com/inward/record.uri?eid=2-s2.0-84957646038&doi=10.1007%2f3-540-59293-8_200&partnerID=40&md5=c81ddfb3017392fb4941517465c38117