@MISC{MODELC_1.MIZ,
  AUTHOR = {Ishida, Kazuhisa},
  TITLE = {Model Checking. {P}art {I}},
  DAY = {14},
  MONTH = {November},
  YEAR = {2006},
  ADDRESS1 = {Shinshu University\\Nagano, Japan},
  SUMMARY = {This text includes definitions of the Kripke structure, CTL
  (Computation Tree Logic), and verification of the basic algorithm
  for Model Checking based on CTL in \cite{Clarke2000}.}}

