Rapport.bib

@online{IMG_Monopoly,
  author = {Monopolypedia.fr},
  title = {Le Monopoly en 2015},
  year = 2015,
  url = {http://www.monopolypedia.fr/univers/divers/monopoly-en-2015/monopoly-en-2015.php},
  urldate = {2017-02-25}
}

@online{IMG_Des,
  author = {villemin.gerard.free.fr},
  title = {jeu de dés, probabilité de gain},
  year = 2016,
  url = {http://villemin.gerard.free.fr/Wwwgvmm/Probabil/DesProba.htm},
  urldate = {2017-04-04}
}

@online{FORMULE_Des,
  author = {villemin.gerard.free.fr},
  title = {Algèbre - identités},
  year = 2016,
  url = {http://villemin.gerard.free.fr/Wwwgvmm/Identite/Identxx2.htm},
  urldate = {2017-04-30}
}

@unpublished{COURS, 
  author = {Mickael Randour},
  title = {INFO-F-412: Chapter 6: Model Checking Probabilistic Systems},
  note = {INFO-F-412 · Formal verification of computer systems},
  year = {2016},
  month = {May}
}

@Book{IP,
  author =   {Charles M. Grinstead, J. Laurie Snell},
  title =    {Introduction to Probability},
  publisher =    {the American Mathematical Society},
  year =     2006
}

@Book{ModelChecking,
  author =    {Christel Baier and Joost-Pieter Katoen},
  title =     {Principles of Model Checking},
  publisher = {The MIT Press},
  year =      2008
}


@unpublished{ASPECT_PROB,
  author= {S. Haddad},
  title = {Probabilistic Aspects of Computer Science: Markovian Models},
  note =  {Professor at ENS Cachan, haddad@lsv.ens-cachan.fr},
  year =  2014
}

@unpublished{PP_MONOPOLY,
  author= {Stacy Hoehn},
  title = {Monopoly and Mathematics: Linear Algebra in Action},
  year =  2010
}

@article{MONOPOLY_ARTICLE,
  author = {ROBERT B. ASH AND RICHARD L. BISHOP},
  journal = {Mathematics Magazine},
  title = {Monopoly as a Markov Process},
  year = {1972}
}


% Probabilite
% https://www.fourmilab.ch/rpkp/experiments/statistics.html

% https://cermics.enpc.fr/~delmas/Enseig/mod-stoch.pdf