Publications
Thesis (Server halma.mpi-inf.mpg.de)
Thesis
Master's thesis | @MastersThesis{Piskac2005, ... | Masterarbeit
Piskac, Ruzica
Formal Correctness of Result Checking for Priority Queues
Universität des Saarlandes, February, 2005
Public
Download File(s):
Andreas Podelski
Hans de Nivelle
Completed
14
March
2005
Max-Planck-Institut für Informatik
Programming Logics Group
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, CCL bibliography, VG Wort
BibTeX Entry:
@MASTERSTHESIS{Piskac2005,
AUTHOR = {Piskac, Ruzica},
TITLE = {Formal Correctness of Result Checking for Priority Queues},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {2005},
TYPE = {Master's thesis}
MONTH = {February},
}
AUTHOR = {Piskac, Ruzica},
TITLE = {Formal Correctness of Result Checking for Priority Queues},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {2005},
TYPE = {Master's thesis}
MONTH = {February},
}
Entry last modified by Christine Kiesel, 01/28/2008
Edit History (please click the blue arrow to see the details) | Editor(s) Ruzika Piskac | Created 03/14/2005 05:22:07 PM |
| Revisions 3. 2. 1. 0. | Editor(s) Christine Kiesel Veronika Weinand Veronika Weinand Ruzika Piskac | Edit Dates 25.04.2006 21:06:42 11.01.2006 15:24:26 11.01.2006 12:50:42 03/14/2005 05:22:07 PM |