Embedded Software First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings Henzinger Thomas A. Heftet / 2001 / Engelsk
