Atlas home || Conferences | Abstracts | about Atlas

Probabilistic Methods in Verification

April 30 - May 5, 2000

Wadern, Germany

Mathematics

Host: Schloss Dagstuhl
Homepage: http://www.cs.bham.ac.uk/~mzk/Dagstuhl/, http://www.dagstuhl.de/DATA/Seminars/00/#00181
Email: office@dagstuhl.de

Organizers: U. Herzog (Erlangen), M. Kwiatkowska (Birmingham), Ch. Meinel (Trier ), M. Vardi (Houston)

Date received: March 21, 2000

© 2008 Atlas Conferences Inc.