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):
Brim, Lubos
Gruska, Jozef
Zlatuska, Jirí
dblp
dblp
dblp
BibTeX cite key*:
MehlhornNäher98
Title, Booktitle
Title*:
From Algorithms to Working Programs: On the Use of Program Checking in LEDA
Mehlhorn_a_1998_f.pdf (514.04 KB)
Booktitle*:
Mathematical foundations of computer science (MFCS-98) : 23rd international symposium
Event, URLs
Conference URL::
Downloading URL:
http://www.springerlink.com/content/m7413qv32l45420g/fulltext.pdf
Event Address*:
Brno, Czech Republic
Language:
English
Event Date*
(no longer used):
August, 24 - August, 28 1998
Organization:
Event Start Date:
Incorrect data type for operator or @Function: Time/Date expected Incorrect data type for operator or @Function: Time/Date expected Incorrect data type for operator or @Function: Time/Date expected
Event End Date:
Incorrect data type for operator or @Function: Time/Date expected Incorrect data type for operator or @Function: Time/Date expected Incorrect data type for operator or @Function: Time/Date expected
Publisher
Name*:
Springer
URL:
Address*:
Berlin, Germany
Type:
Vol, No, Year, pp.
Series:
Lecture Notes in Computer Science
Volume:
1450
Number:
Month:
August
Pages:
84-93
Year*:
1998
VG Wort Pages:
ISBN/ISSN:
3-540-64827-5
Sequence Number:
DOI:
Note, Abstract, ©
Download
Access Level:
Public

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{MehlhornNäher98,
AUTHOR = {Mehlhorn, Kurt and N{\"a}her, Stefan},
EDITOR = {Brim, Lubos and Gruska, Jozef and Zlatuska, Jir{\'i}},
TITLE = {From Algorithms to Working Programs: On the Use of Program Checking in LEDA},
BOOKTITLE = {Mathematical foundations of computer science (MFCS-98) : 23rd international symposium},
PUBLISHER = {Springer},
YEAR = {1998},
VOLUME = {1450},
PAGES = {84--93},
SERIES = {Lecture Notes in Computer Science},
ADDRESS = {Brno, Czech Republic},
MONTH = {August},
ISBN = {3-540-64827-5},
}


Entry last modified by Christine Kiesel, 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)
Christine Kiesel
Created
03/30/1999 03:26:36 PM
Revisions
8.
7.
6.
5.
4.
Editor(s)
Christine Kiesel
Christine Kiesel
Christine Kiesel
Christine Kiesel
Christine Kiesel
Edit Dates
04.10.2006 09:28:39
04.10.2006 09:28:09
06.09.2006 16:09:18
06.09.2006 15:49:32
07.04.2000 10:03:13