English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

 
 
DownloadE-Mail
 This item is discarded!Release HistoryDetailsSummary
  Formal Correctness of Result Checking for Priority Queues

Piskac, R. (2005). Formal Correctness of Result Checking for Priority Queues. Master Thesis, Universität des Saarlandes, Saarbrücken.

Item is

Basic (Discarded)

Date of Discard: 2019-02-15
Comment: Dublette
 Creators:
Piskac, Ruzica1
Affiliations:
1Max Planck Society, ou_persistent13              
 Dates: 20052005
Files: 0 Files
Locators: 0 Locators
version ID: item_1328233_2
Item State: Discarded
Name of Context: Import Context of the MPI for Informatics, Affiliated to: MPI for Informatics