@InProceedings{BT07,
    Author       = "Barrett, C. and Tinelli, C.",
    Year         = "2007",
    Title        = "{CVC3}",
    Editor       = "Damm, W. and Hermanns, H.",
    BookTitle    = "{Proceedings of the 19th International Conference on
                    Computer Aided Verification}",
    Place        = "Berlin, Germany",
    Series       = "Lecture Notes in Computer Science",
    Number       = "4590",
    Pages        = "298-302",
    Publisher    = "Springer-Verlag",
    Comment      = ""
}