Changeset 92 for papers/FDL2012/myBib.bib

Timestamp:

Apr 6, 2012, 10:37:41 PM (13 years ago)

Author:

syed

Message:

/papers/FDL2012/

File:

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

papers/FDL2012/myBib.bib

@@ -72 +72 @@
    address = "Chicago, IL",
    year = 2000,
-   publisher = "Lecture Notes in Computer Science"
+   publisher = "LNCS"
 }
 
@@ -159 +159 @@
    year = 2003,
    month = Nov,
-   publisher = "Lecture Notes in Computer Science"
+   publisher = "LNCS"
 }
 
@@ -212 +212 @@
    pages = {103-122},
    year = 2000,
-   publisher = "Lecture Notes in Computer Science, Springer Verlag"
+   publisher = "LNCS, Springer Verlag"
 }
 
@@ -223 +223 @@
    address = "Taipei, Taiwan",
    year = 2005,
-   publisher = "Lecture Notes in Computer Science, Springer"
+   publisher = "LNCS, Springer"
 }
 
@@ -230 +230 @@
    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 Int. Conference on Computer Aided Verification",
    volume = 1427,
    pages = {440-451},
    address = "Vancouver, Canada",
    year = 1998,
-   publisher = " Lecture Notes in Computer Science, Springer-Verlag"
+   publisher = " LNCS, Springer-Verlag"
 }
 
@@ -246 +246 @@
    pages = {250-263},
    year = 1991,
-   publisher = " Lecture Notes in Computer Science, Springer-Verlag"
+   publisher = " LNCS, Springer-Verlag"
 }
 
@@ -256 +256 @@
    volume = 1254,
    year = 1997,
-   publisher = " Lecture Notes in Computer Science, Springer"
+   publisher = " LNCS, Springer"
 }
 
@@ -264 +264 @@
    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",
+   booktitle = " In CAV ’97",
    volume = 1254,
    pages = {12-23},
    year = 1997,
-   publisher = " Lecture Notes in Computer Science, Springer-Verlag"
+   publisher = " LNCS, Springer-Verlag"
 }
 
@@ -304 +304 @@
    author = " Himanshu Jain and Daniel Kroening and Natasha Sharygina and Edmund Clarke",
    title = "{ VCEGAR: Verilog CounterExample Guided Abstraction Refinement} ",
-   booktitle = " In 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)",
+   booktitle = " In TACAS '07 ",
    year = 2007,
 }
@@ -322 +322 @@
    author = " Thomas Ball and Byron Cook and Vladimir Levin and Sriram K. Rajamani",
    title = "{ SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft} ",
-   booktitle = " Fourth International Conference on Integrated Formal Methods (IFM 2004)",
+   booktitle = "In 4th Int. Conference on Integrated Formal Methods (IFM 2004)",
    volume = 2999,
    pages = {1-20},
    year = 2004,
-   publisher = " Lecture Notes in Computer Science, Springer"
+   publisher = " LNCS, Springer"
 }