Verification of an Off-Line Checker for Priority Queues Hans de Nivelle, Ruzica Piskac Max Planck Institut f¨ur Informatik StuhlsatzenhauswegSaarbr¨ucken, Germany {nivelle, rpiskac - Priority queues - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2005-06-28 07:20:48		Verification of an Off-Line Checker for Priority Queues Hans de Nivelle, Ruzica Piskac Max Planck Institut f¨ur Informatik StuhlsatzenhauswegSaarbr¨ucken, Germany {nivelle, rpiskac}@mpi-inf.mpg.de Add to Reading List Source URL: www.mpi-sws.org Download Document from Source Website File Size: 168,17 KB Share Document on Facebook