%0 Journal Article %1 journals/jucs/BaukusLS01 %A Baukus, Kai %A Lakhnech, Yassine %A Stahl, Karsten %D 2001 %J J. Univers. Comput. Sci. %K %N 2 %P 141-158 %T Verification of Parameterized Protocols. %U http://dblp.uni-trier.de/db/journals/jucs/jucs7.html#BaukusLS01 %V 7

@article{journals/jucs/BaukusLS01, added-at = {2023-12-12T23:24:33.000+0100}, author = {Baukus, Kai and Lakhnech, Yassine and Stahl, Karsten}, biburl = {https://www.bibsonomy.org/bibtex/2c86a5ce7ce9150f356fc2794b10357b3/admin}, ee = {https://doi.org/10.3217/jucs-007-02-0141}, interhash = {5589e877f4c83fe18be2bdeb63390afe}, intrahash = {c86a5ce7ce9150f356fc2794b10357b3}, journal = {J. Univers. Comput. Sci.}, keywords = {}, number = 2, pages = {141-158}, timestamp = {2023-12-12T23:24:33.000+0100}, title = {Verification of Parameterized Protocols.}, url = {http://dblp.uni-trier.de/db/journals/jucs/jucs7.html#BaukusLS01}, volume = 7, year = 2001 }