Therese Berg, Harald Raffelt. Model Checking. In Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner, editors, Model-Based Testing of Reactive Systems, Advanced Lectures [The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004]. Volume 3472 of Lecture Notes in Computer Science, pages 557-603, Springer, 2004. [doi]
Abstract is missing.