Index: papers/FDL2012/myBib.bib
===================================================================
--- papers/FDL2012/myBib.bib	(revision 62)
+++ papers/FDL2012/myBib.bib	(revision 64)
@@ -43,5 +43,5 @@
    author = "E. M. Clarke and  O. Grumberg and S. Jha and Y. Lu and H. Veith",
    title = "{Counterexample-guided Abstraction Refinement}",
-   booktitle = "Computer Aided Verification (CAV'00)",
+   booktitle = "Computer Aided Verification (CAV '00)",
    address = "Chicago, IL",
    year = 2000,
@@ -86,5 +86,5 @@
     author = "H. S. Jin and M. Awedh and F. Somenzi",
     title = "{CirCUs: A Satisfiablilty Solver Geared Towards Bounded Model Checking}",
-     booktitle = {16th Conference on Computer Aided Verification (CAV'04)},
+     booktitle = {16th Conference on Computer Aided Verification (CAV '04)},
     pages = {519-522},
     year = 2004,
@@ -143,5 +143,5 @@
    author = "H. Peng and Y. Mokhtari and S. Tahar ",
    title = "{Environment Synthesis for Compositional Model Checking} ",
-   booktitle = "In ICCD'02 : Proceedings of the 20th International Conference on Computer Design",
+   booktitle = "In ICCDâ02 : Proceedings of the 20th International Conference on Computer Design",
    pages = {70-75},
    address = "Freiburg, Germany",
@@ -154,5 +154,5 @@
    author = "M. Schickel  and V. Nimbler and M. Braun and H. Eveking ",
    title = "{On Consistency and Completeness of Property-Sets: Exploiting the Property-Based Design Process} ",
-   booktitle = "In FDL'06: Proceedings of  Forum on specification and Design Languages",
+   booktitle = "In FDLâ06: Proceedings of  Forum on specification and Design Languages",
    year = 2006
 }
@@ -160,5 +160,5 @@
 
 @conference{ CiardoLS00mdd_async,
-   author = "G.Ciardo and G. LÃÂŒttgen and R. Siminiceanu",
+   author = "G.Ciardo and G. LÃŒttgen and R. Siminiceanu",
    title = "{ Efficient symbolic state-space construction for asynchronous systems} ",
    booktitle = "In Proc. of ICATPN '2000",
@@ -184,5 +184,5 @@
    author = "T. A. Henzinger and S. Qadeer and S. K. Rajamani",
    title = "{ You Assume, We Guarantee : Methodology and Case Studies} ",
-   booktitle = "CAV'98 : Proceedings of the 10th International Conference on Computer Aided Verification",
+   booktitle = "CAV â98 : Proceedings of the 10th International Conference on Computer Aided Verification",
    volume = 1427,
    pages = {440-451},
@@ -207,8 +207,29 @@
    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",
+   booktitle = " In CAV â97: Proceedings of the 9th International Conference on Computer Aided Verification",
    volume = 1254,
    year = 1997,
    publisher = " Lecture Notes in Computer Science, Springer"
+}
+
+
+
+@conference{ PardoHachtel97autoAbsMC,
+   author = "  S. Pardo and G. Hachtel",
+   title = "{ Automatic Abstraction Technique for Propositional mu-Calculus Model Checking} ",
+   booktitle = " In CAV â97: Proceedings of the 9th International Conference on Computer Aided Verification",
+   volume = 1254,
+   pages = {12-23},
+   year = 1997,
+   publisher = " Lecture Notes in Computer Science, Springer-Verlag"
+}
+
+
+@conference{ PardoHachtel98incremCTLMC,
+   author = "  S. Pardo and G. Hachtel",
+   title = "{ Incremental CTL Model Checking Using BDD Subsetting} ",
+   booktitle = " In DAC â98: 35th Design Automation Conference ",
+   pages = {457-462},
+   year = 1998,
 }
 
@@ -262,18 +283,4 @@
 }
 
-@ARTICLE{clarke94model,
-  author = {E.M.~Clarke and O.~Grumberg and D.E.~Long},
-  title = {{Model Checking and Abstraction}},
-  journal = {ACM Transactions on Programming Languages and Systems},
-  year = {1994},
-  volume = {16},
-  pages = {1512--1542},
-  number = {5},
-  address = {New York, NY, USA},
-  doi = {http://doi.acm.org/10.1145/186025.186051},
-  issn = {0164-0925},
-  keywords = {model cheking, abstraction, CTL, preservation},
-  publisher = {ACM Press}
-}
 
 @inproceedings{pwk2009-date,
@@ -304,15 +311,4 @@
 }
 
-@PHDTHESIS{braunstein_phd07,
-  author = {C.~Braunstein},
-  title = {"Conception IncrÃ©mentale, VÃ©rification de Composants MatÃ©riels et
-	MÃ©thode d'abstraction pour la VÃ©rification de SystÃšmes IntÃ©grÃ©s sur
-	Puce"},
-  school = {{UniversitÃ©e Pierre et Marie Curie (Paris 6)}},
-  year = {2007},
-  address = {LIP6/SOC},
-  owner = {cecile},
-  timestamp = {2007.04.16}
-}
 
 @misc{ patanshnik88bibtex,
