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 01/18/1999 06:08:36 PM | |
Revisions 3. 2. 1. 0. | Editor(s) Christine Kiesel Christoph Weidenbach Uwe Brahm Christoph Weidenbach | Edit Dates 30.08.2001 10:15:34 05/05/99 12:18:28 01.04.99 09:43:31 01.04.99 09:43:31 |