@inproceedings{BLS00,
title = {Verifying Universal Properties of Parameterized Networks },
author = {Baukus, Kai and Lakhnech, Yassine and Stahl, Karsten},
year = {2000},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems},
pages = {291--304},
publisher = {springer},
series = {LNCS},
volume = {1926},
team = {DCS},
}
