Next:
Korrekturen
Up:
MBV home page
Previous:
Zusätzliche Verweise
C Quellcode
Die Schließung durch eine Halbebene (s. Anhang A im Buch) kann von
hpclose.c
heruntergeladen werden. Eine Verschiebungsinvarianteimplementierung wird in [
2
] beschrieben.
1999-11-06