@InProceedings{dNP05,
    Author       = "de Nivelle, H. and Piskac, R.",
    Year         = "2005",
    Title        = "{Verification of an Off-Line Checker for Priority Queues}",
    Editor       = "Aichernig, B. and Beckert, B.",
    BookTitle    = "{Proceedings of the 3rd IEEE International Conference on
                    Software Engineering and Formal Methods}",
    Place        = "Los Alamitos, USA",
    Pages        = "210-219",
    Comment      = "TPTPRef"
}