@InProceedings{CC+02,
    Author       = "Cimatti, A. and Clarke, E. and Giunchiglia, E. and Giunchiglia, F. and
                    Pistore, M. and Roveri, M. and Sebastiani, R. and Tacchella, A.",
    Year         = "2002",
    Title        = "{NuSMV 2: An OpenSource Tool for Symbolic Model Checking}",
    Editor       = "Larsen, K. and Brinksma, E.",
    BookTitle    = "{Proceedings of the 14th International Conference on Computer-Aided
                    Verification}",
    Place        = "Copenhagen, Denmark",
    Series       = "Lecture Notes in Computer Science",
    Number       = "2404",
    Pages        = "241-268",
    Publisher    = "Springer-Verlag",
    Comment      = ""
}