@INPROCEEDINGS{Madden94a-djki,
AUTHOR = {Madden, Peter},
EDITOR = {Nebel, Bernhard and Dreschler-Fischer, Leonie},
TITLE = {Formal Methods for Automated Program Improvement},
BOOKTITLE = {KI-94: Advances in Artificial Intelligence. Proceedings of the 18th German Annual Conference on Artificial Intelligence},
PUBLISHER = {Springer},
YEAR = {1994},
VOLUME = {861},
PAGES = {367--378},
SERIES = {Lecture Notes in Artificial Intelligence},
ADDRESS = {Saarbr{\"u}cken, Germany},
MONTH = {September},
NOTE = {Also available as Research Report MPI-I-94-238, Max-Planck-Institut für Informatik, Saarbrücken},
}
Entry last modified by Christine Kiesel/AG2/MPII/DE, 03/12/2010
Edit History (please click the blue arrow to see the details)
 | Editor(s)
Uwe Brahm | Created
01/14/1995 06:52:14 PM |
Revisions
9.
8.
7.
6.
5. | Editor(s)
Christine Kiesel/AG2/MPII/DE
Christine Kiesel/AG2/MPII/DE
Christine Kiesel/AG2/MPII/DE
Christine Kiesel/AG2/MPII/DE
Christine Kiesel/AG2/MPII/DE | Edit Dates
13/12/95 12:23:05
13/12/95 10:30:51
30/11/95 09:57:04
24/02/95 15:30:15
24/02/95 12:03:05 |