YIH-KUEN TSAY2018-09-102018-09-102000http://www.scopus.com/inward/record.url?eid=2-s2.0-84878659698&partnerID=MN8TOARShttp://scholars.lib.ntu.edu.tw/handle/123456789/288841Compositional verification in linear-time temporal logicbook