S
[Shi14] Mahsa Shirmohammadi. Qualitative analysis of synchronizing probabilistic systems. Thèse de doctorat, Lab. Spécification & Vérification, ENS Cachan, France and Département d'Informatique, Université Libre de Bruxelles, Belgium, December 2014. 
@phdthesis{phd-shirmohammadi,
  author =              {Shirmohammadi, Mahsa},
  title =               {Qualitative analysis of synchronizing probabilistic
                         systems},
  year =                {2014},
  month =               dec,
  school =              {Lab.~Sp\'ecification \& V\'erification, ENS Cachan,
                         France and D{\'e}partement d'Informatique,
                         Universit{\'e} Libre de Bruxelles, Belgium},
  type =                {Th\`ese de doctorat},
}
List of authors