@inproceedings{
    DubrovinJunttilaHeljanko:FMOODS2008,
    editor = "Barthe, G. and de Boer, F.",
    author = "Dubrovin, Jori and Junttila, Tommi and Heljanko, Keijo",
    publisher = "Springer",
    optmonth = "",
    title = "Symbolic Step Encodings for Object Based Communicating State Machines",
    series = "Lecture Notes in Computer Science",
    booktitle = "FMOODS 2008",
    optaddress = "",
    volume = "5051",
    flags = "copy SMUML DC",
    optorganization = "",
    year = "2008",
    pages = "96--112"
}