@inproceedings{BBL+00a,
title = {{Abstracting WS1S Systems to Verify Parameterized Networks} },
author = {Baukus, Kai and Bensalem, Saddek and Lakhnech, Yassine and Stahl, Karsten},
year = {2000},
booktitle = {TACAS'00},
publisher = {Lecture Notes in Computer Science},
volume = {1785},
team = {DCS},
}
