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: | experts only |
Appearance: | MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat |
Editor(s) Jörn Hopf | Created 05/28/1997 04:33:13 PM | |
Revision 1. 0. | Editor Jörn Hopf Jörn Hopf | Edit Date 26/02/97 21:29:17 25/02/97 18:41:46 |