A Layered Formal Methods Approach to Answering Queue-related Queries.

Divya Raghunathan, Maria Apostolaki, Aarti Gupta

Browse the full NSDI paper archive.