Atlas home || Conferences | Abstracts | about Atlas

Specification of Distributed Information Systems

February 20-25, 2000

Wadern, Germany

Mathematics

Host: Schloss Dagstuhl
Homepage: http://www.dagstuhl.de/DATA/Seminars/00/#00081
Email: office@dagstuhl.de

Organizers: H.-D. Ehrich (Braunschweig), U. Goltz (Braunschweig), J. Meseguer (SRI Menlo Park), A. Pnueli (Rehovot)

Date received: March 21, 2000

© 2008 Atlas Conferences Inc.