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):

Mehlhorn, Kurt
Näher, Stefan

dblp
dblp



Editor(s):

Mehlhorn, Kurt

dblp



BibTeX cite key*:

mehlhorn98

Title, Booktitle

Title*:

From Algorithms to Working Programs on the Use of Program Checking in LEDA

Booktitle*:

Fundamentals - foundations of computer science : XV. IFIP world computer congress

Event, URLs

URL of the conference:


URL for downloading the paper:


Event Address*:

Vienna, Austria and Budapest, Hungary

Language:

English

Event Date*
(no longer used):

August 20-22

Organization:


Event Start Date:

31 August 1998

Event End Date:

4 September 1998

Publisher

Name*:

Österreichische Computer Gesellschaft (OCG) / Austrian Computer Society

URL:


Address*:

Vienna, Austria

Type:


Vol, No, Year, pp.

Series:

Schriftenreihe der Österreichischen Computer Gesellschaft

Volume:

117

Number:


Month:


Pages:

81-88

Year*:

1998

VG Wort Pages:


ISBN/ISSN:

3-85403-117-3

Sequence Number:


DOI:




Note, Abstract, ©



HyperLinks / References / URLs:

http://dblp.uni-trier.de/rec/bibtex/conf/ifip/MehlhornN98



Download
Access Level:

Intranet

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Algorithms and Complexity Group

Audience:

Expert

Appearance:

MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat



BibTeX Entry:

@INPROCEEDINGS{mehlhorn98,
AUTHOR = {Mehlhorn, Kurt and N{\"a}her, Stefan},
EDITOR = {Mehlhorn, Kurt},
TITLE = {From Algorithms to Working Programs on the Use of Program Checking in LEDA},
BOOKTITLE = {Fundamentals - foundations of computer science : XV. IFIP world computer congress},
PUBLISHER = {Österreichische Computer Gesellschaft (OCG) / Austrian Computer Society},
YEAR = {1998},
VOLUME = {117},
PAGES = {81--88},
SERIES = {Schriftenreihe der Österreichischen Computer Gesellschaft},
ADDRESS = {Vienna, Austria and Budapest, Hungary},
ISBN = {3-85403-117-3},
}


Entry last modified by Anja Becker, 03/02/2010
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)
Peter Sanders
Created
01/21/1999 02:24:20 PM
Revisions
9.
8.
7.
6.
5.
Editor(s)
Anja Becker
Anja Becker
Christine Kiesel
Christine Kiesel
Christine Kiesel
Edit Dates
04.01.2008 11:37:29
04.01.2008 11:36:25
28.08.2006 14:31:16
28.08.2006 14:27:39
28.08.2006 14:14:09