%0 Conference Paper %1 conf/tase/DengM09 %A Deng, Yuxin %A Monin, Jean-François %B TASE %D 2009 %E Chin, Wei-Ngan %E Qin, Shengchao %I IEEE Computer Society %K %P 201-208 %T Verifying Self-stabilizing Population Protocols with Coq. %U http://dblp.uni-trier.de/db/conf/tase/tase2009.html#DengM09 %@ 978-0-7695-3757-3

@inproceedings{conf/tase/DengM09, added-at = {2023-12-12T20:41:00.000+0100}, author = {Deng, Yuxin and Monin, Jean-François}, biburl = {https://www.bibsonomy.org/bibtex/28d33f6b4b3e2430197a41cb800fd51a8/admin}, booktitle = {TASE}, crossref = {conf/tase/2009}, editor = {Chin, Wei-Ngan and Qin, Shengchao}, ee = {http://doi.ieeecomputersociety.org/10.1109/TASE.2009.9}, interhash = {32c995717b9a6b036bda81fd99772cc3}, intrahash = {8d33f6b4b3e2430197a41cb800fd51a8}, isbn = {978-0-7695-3757-3}, keywords = {}, pages = {201-208}, publisher = {IEEE Computer Society}, timestamp = {2023-12-12T20:41:00.000+0100}, title = {Verifying Self-stabilizing Population Protocols with Coq.}, url = {http://dblp.uni-trier.de/db/conf/tase/tase2009.html#DengM09}, year = 2009 }