Daniel Geist, Oded Vaida. A method for hunting bugs that occur due to system conflicts. In IEEE International High Level Design Validation and Test Workshop, HLDVT 2008, Incline Village, NV, USA, November 19-21, 2008. pages 11-17, IEEE, 2008. [doi]
Abstract is missing.