Dealing with I/O Devices in the Context of Pervasive System Verification.

Mark A. Hillebrand, Thomas In der Rieden, Wolfgang J. Paul

Browse the full ICCD paper archive.