@inproceedings{55a98f930029475cb828cee1c3148b21,
title = "Encoding Queues in Satisfiability Modulo Theories Based Bounded Model Checking",
keywords = "bounded model checking, queues, satisfiability modulo theories, software verification, bounded model checking, queues, satisfiability modulo theories, software verification, bounded model checking, queues, satisfiability modulo theories, software verification",
author = "Tommi Junttila and Jori Dubrovin",
year = "2008",
language = "English",
pages = "290--304",
editor = "Iliano Cervesato and Helmut Veith and Andrei Voronkov",
booktitle = "Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'08)",
publisher = "Springer",
address = "Germany",
}