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: | Expert |
Appearance: | MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat |
Editor(s) Giorgio Delzanno | Created 04/22/1999 10:29:21 AM | |
Revisions 6. 5. 4. 3. 2. | Editor(s) Uwe Brahm Uwe Brahm Uwe Brahm Giorgio Delzanno Giorgio Delzanno | Edit Dates 2007-07-11 17:03:00 23/03/2000 16:13:06 28.05.99 10:26:27 28/05/99 09:47:25 28/05/99 09:45:59 |