@article{ed14bba4d96e47288b295f93cedb8bc4,
title = "Exploiting step semantics for efficient bounded model checking of asynchronous systems",
keywords = "asynchronous systems, bounded model checking, process semantics, SMT, step encodings, asynchronous systems, bounded model checking, process semantics, SMT, step encodings, asynchronous systems, bounded model checking, process semantics, SMT, step encodings",
author = "Jori Dubrovin and Tommi Junttila and Keijo Heljanko",
note = "VK: dc logic",
year = "2012",
doi = "10.1016/j.scico.2011.07.005",
language = "English",
volume = "77",
pages = "1095--1121",
journal = "Science of Computer Programming",
issn = "0167-6423",
publisher = "Elsevier",
number = "10-11",
}