Part, Chapter of a Book @InBook, Buchkapitel Beitrag im Sammelband |
|
Author, Editor |
|
Title, Booktitle |
|
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) Christoph Weidenbach | Created 08/28/2001 08:50:57 AM | |
Revisions 13. 12. 11. 10. 9. | Editor(s) Uwe Brahm Uwe Brahm Uwe Brahm Christine Kiesel Christine Kiesel | Edit Dates 04/25/2002 05:25:23 PM 04/25/2002 05:24:40 PM 03/27/2002 10:11:19 PM 28.08.2001 10:52:33 AM 28.08.2001 09:49:44 AM |