@inproceedings{65f2ab5577904fb4993a7ea44a85f77e,
title = "Symbolic Step Encodings for Object Based Communicating State Machines",
keywords = "model checking, SAT, step semantics, UML state machines, model checking, SAT, step semantics, UML state machines, model checking, SAT, step semantics, UML state machines",
author = "Jori Dubrovin and Tommi Junttila and Keijo Heljanko",
year = "2008",
language = "English",
isbn = "978-3-540-68862-4",
publisher = "Springer Gabler ",
pages = "96--112",
editor = "Gilles Barthe and {de Boer}, {Frank S.}",
booktitle = "Formal Methods for Open Object-based Distributed Systems (FMOODS'08)",
address = "Germany",
}