Changeset 62

Timestamp:

Mar 13, 2012, 4:38:31 PM (14 years ago)

Author:

cecile

Message:

charachter encoding

File:

• papers/FDL2012/myBib.bib (modified) (2 diffs)

papers/FDL2012/myBib.bib

@@ -111 +111 @@
 @article{ bara08abs_composant,
     author = "A. Bara",
-    title = "{Abstraction de Composant pour la Vérification par Model-Checking}",
-    journal = {Mémoire de DiplÎme Universitaire OMP - LIP6-SOC},
+    title = "{Abstraction de Composant pour la Vérification par Model-Checking}",
+    journal = {Mémoire de DiplÎme Universitaire OMP - LIP6-SOC},
     year =  2008
 }
@@ -205 +205 @@
 
 @conference{ GrafSaidi97abstract_construct,
-   author = "  S. Graf and H. Saïdi",
+   author = "  S. Graf and H. Saïdi",
    title = "{ Construction of Abstract State Graphs with PVS} ",
    booktitle = " In CAV'97: Proceedings of the 9th International Conference on Computer Aided Verification",