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, CCL bibliography, VG Wort |
Editor(s) Virgile Prevosto | Created 03/09/2005 09:41:11 AM | |
Revisions 6. 5. 4. 3. 2. | Editor(s) Uwe Brahm Uwe Brahm Christine Kiesel Virgile Prevosto Virgile Prevosto | Edit Dates 2007-04-30 14:48:38 2007-04-26 11:33:25 25.04.2006 21:25:07 10/26/2005 03:42:48 PM 06.05.2005 14:24:56 |