Survey on Directed Model Checking - Edelkamp, Stefan (Verfasser); Schuppan, Viktor (Verfasser); Bošnački, Dragan (Verfasser); Wijs, Anton (Verfasser); Fehnker, Ansgar (Verfasser); Aljazzar, Husain (Verfasser) (Bibliothek der Universität Konstanz, 2010)