K
[Kup95] Orna Kupferman. Model Checking for Branching-Time Temporal Logics. PhD thesis, Israel Institute of Technology, Haifa, Israel, 1995. 
@phdthesis{phd-kupferman,
  author =              {Kupferman, Orna},
  title =               {Model Checking for Branching-Time Temporal Logics},
  year =                {1995},
  school =              {Israel Institute of Technology, Haifa, Israel},
  type =                {{PhD} thesis},
}
List of authors