Embedded Software, First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October, 8-10, 2001, Proceedings

Thomas A. Henzinger Christoph M. Kirsch Embedded Software, First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October, 8-10, 2001, Proceedings EMSOFT Lecture Notes in Computer Science 2211 Springer 2001 3-540-42673-6 db/conf/emsoft/emsoft2001.html