Abstracting WS1S Systems to Verify Parameterized Networks.

Kai Baukus, Saddek Bensalem, Yassine Lakhnech, Karsten Stahl

Browse the full TACAS paper archive.