preuve promela:debut de traduction

[hdrcouchot.git] / demandeInscription / synthese.tex

diff --git a/demandeInscription/synthese.tex b/demandeInscription/synthese.tex
index 03c44f738cde1ee014861ccae773848852c2b79e..58ad6b700c30c1edb4ffe80035b894e1e47f3db1 100755 (executable)
--- a/demandeInscription/synthese.tex
+++ b/demandeInscription/synthese.tex
@@ -1557,10 +1557,9 @@ Jean-François Couchot, Raphaël Couturier, Yousra Ahmed Fadil and Christophe Gu
   Lisboa, Portugal, July 2016.
 
 \bibitem{kcm16:ip}
   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 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
 
 \bibitem{BCDG07}
 Fabrice Bouquet, Jean-Fran\c{c}ois Couchot, Fr\'ed\'eric Dadeau, and Alain