preuve promela:debut de traduction

[hdrcouchot.git] / demandeInscription / synthese.tex

diff --git a/demandeInscription/synthese.tex b/demandeInscription/synthese.tex
index 5553fd94c93d848a10a95c5afd978cdeed54815a..58ad6b700c30c1edb4ffe80035b894e1e47f3db1 100755 (executable)
--- a/demandeInscription/synthese.tex
+++ b/demandeInscription/synthese.tex
@@ -1377,7 +1377,7 @@ Jacques Bahi, Jean-Fran\c{c}ois Couchot, and Christophe Guyeux.
 Jean-François Couchot, Sylvain Contassot-Vivier, Christophe Guyeux, and Pierre-Cyrille H\'eam.
 \newblock Random walk in a n-cube without hamiltonian cycle to chaotic
   pseudorandom number generation: Theoretical and practical considerations.
-\newblock in submission.
+\newblock  in submission to Elsevier Chaos, Solitons \& Fractal, August 2016.
 
 \bibitem{bgco16:onp}
 Mohammed Bakiri, Christophe Guyeux, Jean-Fran\c{c}cois Couchot, and
@@ -1557,10 +1557,9 @@ Jean-François Couchot, Raphaël Couturier, Yousra Ahmed Fadil and Christophe Gu
   Lisboa, Portugal, July 2016.
 
 \bibitem{kcm16:ip}
-Nesrine Khernane, J.-F. Couchot, A. Mostefaoui.
+N. Khernane, J.-F. Couchot, A. Mostefaoui.
 \newblock Maximizing Network Lifetime in Wireless Video Sensor Networks Under Quality Constraints.
-\newblock In {\em The 19th ACM International Conference on Modeling, Analysis
-and Simulation of Wireless and Mobile Systems, MSWiM'16} Malta,  to appear, November, 2016.
+\newblock In {\em MOBIWAC 2016: The 14th ACM* International Symposium on Mobility Management and Wireless Access} Malta,  to appear, November, 2016.
 
 \bibitem{BCDG07}
 Fabrice Bouquet, Jean-Fran\c{c}ois Couchot, Fr\'ed\'eric Dadeau, and Alain