Verification Runtime Analysis: Get the Most Out of Partial Verification.

Martin Ring, Fritjof Bornebusch, Christoph Lth, Robert Wille, Rolf Drechsler

Browse the full DATE paper archive.