Mark A. Hillebrand, Thomas In der Rieden, Wolfgang J. Paul. Dealing with I/O Devices in the Context of Pervasive System Verification. In 23rd International Conference on Computer Design (ICCD 2005), 2-5 October 2005, San Jose, CA, USA. pages 309-316, IEEE Computer Society, 2005. [doi]
Abstract is missing.