@Inproceedings{EPTCS39.6, author = {Bertrand, Nathalie and Morvan, Christophe }, year = {2010}, title = {Probabilistic regular graphs}, editor = {Chen, Yu-Fang and Rezine, Ahmed}, booktitle = {{\rm Proceedings 12th International Workshop on} Verification of Infinite-State Systems, {\rm Singapore, 21st September 2010}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {39}, publisher = {Open Publishing Association}, pages = {77-90}, doi = {10.4204/EPTCS.39.6}, }