Sven Beyer, Peter Böhm, Michael Gerke 0002, Mark A. Hillebrand, Thomas In der Rieden, Steffen Knapp, Dirk Leinenbach, Wolfgang J. Paul. Towards the Formal Verification of Lower System Layers in Automotive Systems. In 23rd International Conference on Computer Design (ICCD 2005), 2-5 October 2005, San Jose, CA, USA. pages 317-326, IEEE Computer Society, 2005. [doi]
Abstract is missing.