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, CCL bibliography |
Editor(s) Uwe Brahm | Created 01/14/1995 06:50:58 PM | |
Revisions 15. 14. 13. 12. 11. | Editor(s) Uwe Brahm Uwe Brahm Uwe Brahm/MPII/DE Uwe Brahm/MPII/DE Uwe Brahm/MPII/DE | Edit Dates 01/10/96 10:53:59 01/10/96 10:53:51 03/26/96 03:10:20 PM 03/22/96 05:53:57 PM 20.03.96 15:31:40 |