Ignore:
Timestamp:
Mar 28, 2012, 3:21:52 PM (13 years ago)
Author:
ema
Message:
 
File:
1 edited

Legend:

Unmodified
Added
Removed

  • papers/FDL2012/myBib.bib

    r69 r76  
    123123    title = "{Efficient Generation of Counterexamples and Witnesses in Symbolic Model Checking}",
    124124    journal = {32nd ACM/IEEE Design Automation Conference},
    125     year = 1995   
     125    year = 1995
    126126}
    127127
    … …  
    132132    pages = {80-89},
    133133    year = 2007
     134}
     135
     136@article{ belnap77,
     137    author = "N. Belnap",
     138    title = "{A useful four-valued logic}",
     139    journal = {Modern Uses of Multiple-Valued Logic},
     140    pages = {8-37},
     141    year = 1977
    134142}
    135143
    … …  
    342350 title     = "Using {BibTeX}. {D}ocumentation for general {B}ib{\TeX} users",
    343351 year      =  1988,
    344  month     =  jan 
     352 month     =  jan
    345353}
    346354
    … …  
    355363    year = 2009
    356364}
    357 
Note: See TracChangeset for help on using the changeset viewer.