@techreport{
    HUT-TCS-B24,
    author = "Dubrovin, Jori and Junttila, Tommi and Heljanko, Keijo",
    juforank = "NA",
    title = "Symbolic Step Encodings for Object Based Communicating State Machines",
    url = "http://users.ics.tkk.fi/kepa/publications/",
    year = "2007",
    number = "B24",
    month = "December",
    responsibleauthor = "Dubrovin, Jori",
    corerank = "NA",
    flags = "DC copy",
    address = "Espoo, Finland",
    impactfactor = "E",
    type = "Technical Report",
    institution = "Helsinki University of Technology, Laboratory for Theoretical Computer Science"
}