Learning minimal separating DFA's for compositional verification

Chen, Y.-F.Y.-F.ChenFarzan, A.A.FarzanClarke, E.M.E.M.ClarkeYIH-KUEN TSAYWang, B.-Y.B.-Y.Wang2018-09-102018-09-102009http://www.scopus.com/inward/record.url?eid=2-s2.0-70350376517&partnerID=MN8TOARShttp://scholars.lib.ntu.edu.tw/handle/123456789/347392Learning minimal separating DFA's for compositional verificationbook10.1007/978-3-642-00768-2_3