Science of Computer Programming, Volume 42

Volume 42, Number 1, January 2002

Engineering Automation for Computer Based Systems, Carmel, CA, USA, October 1998

Volume 42, Numbers 2-3, February 2002

a service of Schloss Dagstuhl - Leibniz Center for Informatics