Dagstuhl Seminar

Dagstuhl

The ReacHard project co-organizes Dagstuhl Seminar 14141 on Reachability Problems for Infinite-State Systems taking place in April 2014.