David Déharbe. Techniques for Temporal Logic Model Checking. In Ana Cavalcanti, Augusto Sampaio, Jim Woodcock, editors, Refinement Techniques in Software Engineering, First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures. Volume 3167 of Lecture Notes in Computer Science, pages 315-367, Springer, 2004. [doi]
Abstract is missing.