Electronic Proceedings Article @InProceedings Internet-Beitrag in Tagungsband, Workshop |
|
Author, Editor |
|
Title, Conference |
|
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) Christine Kiesel | Created 08/08/2001 12:55:32 PM | |
Revisions 8. 7. 6. 5. 4. | Editor(s) Uwe Brahm Uwe Brahm Uwe Brahm Manfred Jaeger Manfred Jaeger | Edit Dates 2007-07-20 13:00:12 2007-07-19 14:24:50 18.11.2001 20:39:11 31/08/2001 18:36:49 24/08/2001 11:37:10 |