Model Checking the Branching Time Temporal Logic CTL

Reference:

Keijo Heljanko. Model checking the branching time temporal logic CTL. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1997.

Suggested BibTeX entry:

@mastersthesis{HeljankoMsc,
    author = {Heljanko, Keijo},
    school = {Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory},
    title = {Model Checking the Branching Time Temporal Logic {C}{T}{L}},
    year = {1997},
}