@inproceedings{BBL+00b,
title = {Abstracting WS1S Systems to Verify Parameterized Networks },
author = {Baukus, Kai and Bensalem, Saddek and Lakhnech, Yassine and Stahl, Karsten},
year = {2000},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 20},
pages = {188-203},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1785},
team = {DCS},
}
