Nested Antichains for WS1S

Date:

This was presentation of our paper accepted ad TACAS’15 during the Alpine Verification Meeting.