You are about to access our book library "Bchi automata model checking and safety of application of outstanding doctoral thesis Jiangxi University library(Chinese Edition) full version" .