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) Roxane Wetzel | Created 02/06/1996 05:24:34 PM | |
Revisions 16. 15. 14. 13. 12. | Editor(s) Renate A. Schmidt Ullrich Hustadt Renate A. Schmidt Ullrich Hustadt Ullrich Hustadt | Edit Dates 09/05/97 15:28:31 24/04/97 12:19:56 14/04/97 14:49:27 14/04/97 12:08:55 14/04/97 12:03:18 |