%0 Conference Paper %1 journals/entcs/BauderonMMS01 %A Bauderon, Michel %A Métivier, Yves %A Mosbah, Mohamed %A Sellami, Afif %B GETGRATS Closing Workshop %D 2001 %E Bauderon, Michel %E Corradini, Andrea %I Elsevier %K dblp %P 93-107 %T Graph Relabelling Systems: a Tool for Encoding, Proving, Studying and Visualizing - Distributed Algorithms. %U http://dblp.uni-trier.de/db/journals/entcs/entcs51.html#BauderonMMS01 %V 51

@inproceedings{journals/entcs/BauderonMMS01, added-at = {2022-11-30T00:00:00.000+0100}, author = {Bauderon, Michel and Métivier, Yves and Mosbah, Mohamed and Sellami, Afif}, biburl = {https://www.bibsonomy.org/bibtex/217aad0d792bc0ded0be346b62ac68b78/dblp}, booktitle = {GETGRATS Closing Workshop}, crossref = {conf/getgrats/2001}, editor = {Bauderon, Michel and Corradini, Andrea}, ee = {https://doi.org/10.1016/S1571-0661(04)80194-4}, interhash = {5f112b5a2e5b4316f28eb44e9852b4df}, intrahash = {17aad0d792bc0ded0be346b62ac68b78}, keywords = {dblp}, pages = {93-107}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T20:31:26.000+0200}, title = {Graph Relabelling Systems: a Tool for Encoding, Proving, Studying and Visualizing - Distributed Algorithms.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs51.html#BauderonMMS01}, volume = 51, year = 2001 }