We present to you a complete PDF file entitled
Efficient CTL model checking using games and automata
It is in the main classification
Information Technology
Which is under subcategory
Computer Science
It should be noted that the file is located under a section
Master and PhD theses
(PDF Files).