Delahaye2010b

Benoît Delahaye. Modular Specification and Compositional Analysis of Stochastic Systems. PhD Thesis Université de Rennes 1, 2010.

Keyword

[ Component ]

BibTex Reference

@PhdThesis{Delahaye2010b,
   Author = {Delahaye, Benoît},
   Title = {Modular Specification and Compositional Analysis of Stochastic Systems},
   School = {Université de Rennes 1},
   Year = {2010}
}

EndNote Reference [help]

Get EndNote Reference (.ref)