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: | MPG publications list, university publications list, working group publication list |
Editor(s) Hans Jürgen Ohlbach | Created 02/06/1995 05:57:19 PM | |
Revisions 10. 9. 8. 7. 6. | Editor(s) Uwe Brahm Uwe Brahm Christine Kiesel/AG2/MPII/DE Christine Kiesel/AG2/MPII/DE Christine Kiesel/AG2/MPII/DE | Edit Dates 03/15/2001 11:48:28 AM 03/27/98 09:33:46 PM 24/02/95 15:54:52 24/02/95 13:45:17 24/02/95 11:05:17 |