Benoît Delahaye. Modular Specification and Compositional Analysis of Stochastic Systems. PhD Thesis Université de Rennes 1, 2010.
[ Component ]
@PhdThesis{Delahaye2010b,
Author = {Delahaye, Benoît},
Title = {Modular Specification and Compositional Analysis of Stochastic Systems},
School = {Université de Rennes 1},
Year = {2010}
}
Get EndNote Reference (.ref)