External Memory Search for Verification of Multi-threaded C++ Programs. - Stefan Edelkamp; Shahid Jabbar; Dino Midzic; Daniel Rikowski; Damian Sulewski (Künstliche Intell., 2008)