Electronic Journal Article @Article Zeitschriftenartikel in einem e-Journal |
|
Author, Editor |
|
Title |
|
Journal |
|
Publisher |
|
Vol, No, Year, pp. |
|
Abstract, Links, (C) |
|
Correlation |
MPG Unit: | Max-Planck-Institut für Informatik |
MPG Subunit: | Programming Logics Group |
Audience: | popular |
Appearance: | MPII WWW Server, MPII FTP Server, university publications list, working group publication list, Fachbeirat, VG Wort |
Editor(s) Manfred Jaeger | Created 01/15/2003 08:01:46 PM | |
Revisions 8. 7. 6. 5. 4. | Editor(s) Manfred Jaeger Christine Kiesel Christine Kiesel Christine Kiesel Christine Kiesel | Edit Dates 06/23/2004 02:54:18 PM 11.09.2003 18:54:20 11.09.2003 15:55:05 26.08.2003 14:27:18 30.07.2003 14:56:13 |
mifinal-main.ps |