Florent Garnier. Terminaison en temps moyen fini de systèmes de règles probabilistes. (Termination within a finite mean time of probabilistic rules based systems). PhD thesis, National Polytechnic Institute of Lorraine, Nancy, France, 2007. [doi]
Abstract is missing.