Encoding Queues in Satisfiability Modulo Theories Based Bounded Model Checking.

Tommi A. Junttila, Jori Dubrovin

Browse the full LPAR paper archive.