Huang, G.-D.G.-D.HuangCai, L.-Z.L.-Z.CaiFARN WANG2020-06-042020-06-042009https://scholars.lib.ntu.edu.tw/handle/123456789/497131LTL model checking for recursive programsconference paper10.1007/978-3-642-04761-9_282-s2.0-71549145993https://www.scopus.com/inward/record.uri?eid=2-s2.0-71549145993&doi=10.1007%2f978-3-642-04761-9_28&partnerID=40&md5=f34c19ccfc5e31dfa6f58a9dbce5673d