@article{BLS01a,
title = {Verification of Parameterized Protocols },
author = {Baukus, Kai and Lakhnech, Yassine and Stahl, Karsten},
year = {2001},
journal = {Journal of Universal Computer Science},
number = {2},
volume = {7},
team = {DCS},
}