next up previous
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