MPI-INF Logo
Publications

Server    domino.mpi-inf.mpg.de

Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop

Author, Editor
Author(s):
Mehlhorn, Kurt
Näher, Stefan
dblp
dblp
Editor(s):
Mehlhorn, Kurtdblp
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
Conference URL::
Downloading URL:
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
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