BackLinks of Kripke_structure Copy: has NO comma Hide Show BackLinks search for "Kripke_structure" Search BackLinks only Display context of search results Case-sensitive searching 구조,structure 로직,logic Found 2 matching pages out of 2018 total pagesShow Context.You can also click here to search title.