Infoscience
EKV Model Users’ Group Meeting and Workshop
November 4-5 2004
EPFL, Lausanne, Switzerland