On the verification of memory management mechanisms (2005)

by Iakov Dalinger, Mark Hillebrand, Wolfgang Paul
Venue:Proceedings of the 13th Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME 2005), volume 3725 of LNCS