Unpublished, Draft, To Appear @UnPublished Unveröffentlicht, Entwurf |
|
Author, Editor |
|
Title, Booktitle |
|
Vol, No, pp., Year |
|
Abstract, Links, © |
|
Correlation |
MPG Unit: | Max-Planck-Institut für Informatik |
MPG Subunit: | Programming Logics Group |
Audience: | Expert |
Appearance: |
Editor(s) Hans Jürgen Ohlbach | Created 02/06/1995 05:56:20 PM | |
Revisions 4. 3. 2. 1. 0. | Editor(s) Christine Kiesel Christine Kiesel Uwe Brahm/MPII/DE Christine Kiesel/AG2/MPII/DE Christine Kiesel/AG2/MPII/DE | Edit Dates 16.09.2003 15:26:03 27.03.2001 10:58:26 AM 10/02/95 17:20:10 09/02/95 10:27:05 31/01/95 15:47:27 |