@inproceedings{
    JN2002:mochart,
    author = {Jussila, Toni and Niemel{\"a}, Ilkka},
    publisher = "",
    title = "Parallel Program Verification Using {BMC}",
    url = "http://www.tcs.hut.fi/~ini/papers/",
    booktitle = "Proceedings of the ECAI 2002 Workshop on Model Checking and Artificial Intelligence",
    address = "Lyon, France",
    month = "July",
    note = "",
    flags = "SA-53695",
    year = "2002",
    organization = "",
    pages = "59--66"
}