Ehrich, Hans-Dieter
[VerfasserIn];
Goguen, Joseph A.
[VerfasserIn];
Sernadas, Amilcar
[VerfasserIn]
;
Hans-DieterEhrich and Joseph A. Goguen and Amilcar Sernadas
[MitwirkendeR]
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 1992
Ehrich, Hans-Dieter
[VerfasserIn];
Meyer, John-Jules Ch.
[VerfasserIn];
Ryan, Mark D.
[VerfasserIn]
;
Hans-DieterEhrich and John-Jules Ch. Meyer and Mark D. Ryan
[MitwirkendeR]
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2003
Ehrich, Hans-Dieter
[VerfasserIn];
Goltz, Ursula
[VerfasserIn];
Meseguer, José
[VerfasserIn];
Pnueli, Amir
[VerfasserIn]
;
Hans-DieterEhrich and Ursula Goltz and José Meseguer and Amir Pnueli
[MitwirkendeR]
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2001
Ehrich, Hans-Dieter
[VerfasserIn];
Engels, Gregor
[VerfasserIn];
Paredaens, Jan
[VerfasserIn];
Wegner, Peter
[VerfasserIn]
;
Hans-DieterEhrich and Gregor Engels and Jan Paredaens and Peter Wegner
[MitwirkendeR]