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) Uwe Brahm | Created 01/14/1995 06:53:27 PM | |
Revisions 11. 10. 9. 8. 7. | Editor(s) Christine Kiesel Seán Matthews Uwe Brahm Seán Matthews Seán Matthews | Edit Dates 04.09.2001 12:26:49 22/04/97 10:45:48 24.03.97 22:39:57 11/03/97 14:48:18 11/03/97 14:34:36 |