@techreport{
    HUT-TCS-A73,
    author = "Jussila, Toni",
    institution = "Helsinki University of Technology, Laboratory for Theoretical Computer Science",
    title = "Bounded Model Checking for Verifying Concurrent Programs",
    year = "2002",
    number = "A73",
    month = "August",
    note = "Licentiate's Thesis",
    flags = "copy",
    address = "Espoo, Finland",
    type = "Research Report",
    pages = "55"
}