Miscellaneous @Miscellaneous Verschiedenes |
|
Author |
|
Title, Howpublished |
|
Vol, No, pp., Year |
|
Abstract, Links, © |
|
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 02/25/1997 08:15:11 PM | |
Revisions 2. 1. 0. | Editor(s) Jörn Hopf Jörn Hopf Jörn Hopf | Edit Dates 26/02/97 21:23:55 25/02/97 20:17:02 25/02/97 20:15:12 |