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 |
Appearance: | MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, CCL bibliography, VG Wort |
Editor(s) Hans de Nivelle | Created 09/25/2006 12:36:22 PM | |
Revisions 6. 5. 4. 3. 2. | Editor(s) Christine Kiesel Christine Kiesel Christine Kiesel Christine Kiesel Christine Kiesel | Edit Dates 26.02.2007 16:01:34 17.02.2007 09:19:06 15.02.2007 17:00:17 15.02.2007 16:57:32 09/25/2006 12:38:20 PM |