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) Luca Viganò | Created 11/27/1996 04:24:47 PM | |
Revisions 8. 7. 6. 5. 4. | Editor(s) Anja Becker Christine Kiesel Luca Viganò Seán Matthews Seán Matthews | Edit Dates 29.11.2010 14:16:57 30.08.2001 10:17:03 25/04/97 16:31:06 22/04/97 14:52:17 17.03.97 20:02:07 |