Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:








Author, Editor

Author(s):

de Nivelle, Hans
Piskac, Ruzica

dblp
dblp



Editor(s):

Aichernig, Bernhard K.
Beckert, Bernhard

dblp
dblp



BibTeX cite key*:

DeNivellePiskac2005a

Title, Booktitle

Title*:

Verification of an Off-Line Checker for Priority Queues

Booktitle*:

Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005)

Event, URLs

URL of the conference:


URL for downloading the paper:

http://sefm2005.uni-koblenz.de/

Event Address*:

Koblenz

Language:

English

Event Date*
(no longer used):


Organization:


Event Start Date:

8 September 2005

Event End Date:

11 September 2005

Publisher

Name*:

IEEE

URL:


Address*:

Los Alamitos, USA

Type:


Vol, No, Year, pp.

Series:


Volume:


Number:


Month:


Pages:

210-219

Year*:

2005

VG Wort Pages:


ISBN/ISSN:

0-7695-2435-4

Sequence Number:


DOI:




Note, Abstract, ©





Download
Access Level:

Public

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics Group

Appearance:

MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, CCL bibliography, VG Wort



BibTeX Entry:

@INPROCEEDINGS{DeNivellePiskac2005a,
AUTHOR = {de Nivelle, Hans and Piskac, Ruzica},
EDITOR = {Aichernig, Bernhard K. and Beckert, Bernhard},
TITLE = {Verification of an Off-Line Checker for Priority Queues},
BOOKTITLE = {Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005)},
PUBLISHER = {IEEE},
YEAR = {2005},
PAGES = {210--219},
ADDRESS = {Koblenz},
ISBN = {0-7695-2435-4},
}


Entry last modified by Christine Kiesel, 01/28/2008
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Hans de Nivelle
Created
08/17/2005 11:37:12 AM
Revisions
4.
3.
2.
1.
0.
Editor(s)
Christine Kiesel
Christine Kiesel
Christine Kiesel
Hans de Nivelle
Hans de Nivelle
Edit Dates
25.04.2006 20:36:01
25.04.2006 20:34:28
25.04.2006 20:12:58
03/31/2006 03:11:57 PM
08/17/2005 11:37:12 AM
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section