English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
  Verification of an Off-Line Checker for Priority Queues

de Nivelle, H., & Piskac, R. (2005). Verification of an Off-Line Checker for Priority Queues. In Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005) (pp. 210-219). Los Alamitos, USA: IEEE.

Item is

Files

show Files

Locators

show

Creators

show
hide
 Creators:
de Nivelle, Hans1, Author           
Piskac, Ruzica2, Author
Aichernig, Bernhard K.2, Editor
Beckert, Bernhard1, Editor           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              
2Max Planck Society, ou_persistent13              

Content

show

Details

show
hide
Language(s): eng - English
 Dates: 2006-04-252005
 Publication Status: Issued
 Pages: -
 Publishing info: Los Alamitos, USA : IEEE
 Table of Contents: -
 Rev. Type: -
 Identifiers: eDoc: 279090
Other: Local-ID: C1256104005ECAFC-DFA2ABDD62632A77C12570600034D829-DeNivellePiskac2005a
 Degree: -

Event

show
hide
Title: Untitled Event
Place of Event: Koblenz
Start-/End Date: 2005-09-07

Legal Case

show

Project information

show

Source 1

show
hide
Title: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005)
Source Genre: Proceedings
 Creator(s):
Affiliations:
Publ. Info: Los Alamitos, USA : IEEE
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 210 - 219 Identifier: ISBN: 0-7695-2435-4