Proceedings Volume @Proceedings Tagungsband, Workshopband |
|
Author, Editor |
|
Title, Conference |
|
Publisher |
|
Vol, No, pp., Year |
|
Abstract, Links, © |
|
Correlation |
MPG Unit: | Max-Planck-Institut für Informatik |
MPG Subunit: | Programming Logics Group |
Audience: | experts only |
Appearance: | MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat |
Editor(s) Emil Weydert | Created 04/20/1997 03:27:30 PM | |
Revisions 4. 3. 2. 1. 0. | Editor(s) Christine Kiesel Uwe Brahm Uwe Brahm Uwe Brahm Uwe Brahm | Edit Dates 31.08.2001 15:25:31 04/02/98 07:14:54 PM 03/02/98 04:11:58 PM 21.04.97 21:06:47 20/04/97 15:27:31 |