Atlas home || Conferences | Abstracts | about Atlas


Verification of Infinite-state Systems

Dagstuhl Seminar

April 2-7, 2000

Wadern, Germany

Mathematics

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

Organizers: A. Bouajjani (LIAFA - Univ. Paris 7), J. Esparza (TU München)

Date received: March 21, 2000


© 2008 Atlas Conferences Inc.