Dagstuhl seminar "Verification of Infinite-state Systems"

 

Picture of Dagstuhl