talk/main.bbl

   1 \begin{thebibliography}{ABCVS05}
   2
   3 \bibitem[ABCVS05]{abcvs05}
   4 A.~Abbas, J.~M. Bahi, S.~Contassot-Vivier, and M.~Salomon.
   5 \newblock Mixing synchronism / asynchronism in discrete-state discrete-time
   6   dynamic networks.
   7 \newblock In {\em 4th Int. Conf. on Engineering Applications and Computational
   8   Algorithms, DCDIS'2005}, pages 524--529, Guelph, Canada, July 2005.
   9 \newblock ISSN 1492-8760.
  10
  11 \bibitem[BCVC10]{BCVC10:ir}
  12 J.~M. Bahi, S.~Contassot-Vivier, and J.-F. Couchot.
  13 \newblock Convergence results of combining synchronism and asynchronism for
  14   discrete-state discrete-time dynamic network.
  15 \newblock Research Report RR2010-02, LIFC - Laboratoire d’{I}nformatique de
  16   l'{U}niversit\'{e} de {F}ranche {C}omt\'{e}, May 2010.
  17
  18 \bibitem[Cou10]{Cou10:ir}
  19 J.-F. Couchot.
  20 \newblock Formal {C}onvergence {P}roof for {D}iscrete {D}ynamical {S}ystems.
  21 \newblock Research Report RR2010-03, LIFC - Laboratoire d’{I}nformatique de
  22   l'{U}niversit\'{e} de {F}ranche {C}omt\'{e}, May 2010.
  23
  24 \bibitem[Hol03]{Hol03}
  25 Gerard~J. Holzmann.
  26 \newblock {\em The SPIN Model Checker: Primer and Reference Manual}.
  27 \newblock Addison-Wesley, Pearson Education, 2003.
  28
  29 \end{thebibliography}