Formal Methods for Emerging Technologies.

Robert Wille, Rolf Drechsler

Browse the full ICCAD paper archive.