BibTeX
@article{DBLP:journals/dc/BeauquierBFM01,
author = {Joffroy Beauquier and
B{\'e}atrice B{\'e}rard and
Laurent Fribourg and
Fr{\'e}d{\'e}ric Magniette},
title = {Proving convergence of self-stabilizing systems using first-order
rewriting and regular languages},
journal = {Distributed Computing},
volume = {14},
number = {2},
year = {2001},
pages = {83-95},
ee = {http://link.springer.de/link/service/journals/00446/bibs/1014002/10140083.htm},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2005-04-08 by Michael Ley (ley@uni-trier.de)