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, CCL bibliography, VG Wort |
Editor(s) Harald Ganzinger | Created 05/05/1997 04:35:50 PM | |
Revisions 25. 24. 23. 22. 21. | Editor(s) Harald Ganzinger Uwe Brahm Uwe Brahm Christine Kiesel Christine Kiesel | Edit Dates 16.05.2003 10:16:23 07.04.2002 19:26:35 03/27/2002 10:10:13 PM 17.01.2002 17:17:41 29.08.2001 13:40:20 |