Technical, Research Report @TechReport Technischer-, Forschungsbericht |
|
Author, Editor |
|
Title, Institution |
|
No, Year, pp., |
|
Note, Abstract, © |
|
Correlation |
MPG Unit: | Max-Planck-Institut für Informatik |
MPG Subunit: | Programming Logics Group |
Audience: | popular |
Appearance: | MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort, CCL bibliography |
Editor(s) Silke Wagner | Created 03/07/2007 04:15:28 PM | |
Revision 1. 0. | Editor Silke Wagner Silke Wagner | Edit Date 04/26/2007 01:29:11 PM 03/07/2007 04:15:28 PM |
MPI-I-2007-2-001.pdf |