Travelled to:
1 × The Netherlands
Collaborated with:
R.Drechsler B.Becker
Talks about:
algorithm (1) manipul (1) bmds (1)
Person: Stefan Ruppertz
DBLP: Ruppertz:Stefan
Contributed to:
Wrote 1 papers:
- TACAS-1997-DrechslerBR #algorithm
- Manipulation Algorithms for K*BMDs (RD, BB, SR), pp. 4–18.