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: | experts only |
Appearance: | CCL bibliography |
Editor(s) Harald Ganzinger | Created 01/22/1995 02:33:01 PM | |
Revisions 7. 6. 5. 4. 3. | Editor(s) Uwe Brahm Christine Kiesel/AG2/MPII/DE Uwe Brahm/MPII/DE Christine Kiesel/AG2/MPII/DE Christine Kiesel/AG2/MPII/DE | Edit Dates 22.10.98 19:20:58 01/02/96 11:55:54 16/02/95 17:36:54 15/02/95 11:33:45 10/02/95 17:54:31 |