Travelled to:
1 × Denmark
Collaborated with:
C.Weidenbach T.Hillenbrand E.Keen C.Theobalt D.Topic
Talks about:
version (1) pass (1)
Person: Uwe Brahm
DBLP: Brahm:Uwe
Contributed to:
Wrote 1 papers:
- CADE-2002-WeidenbachBHKTT
- S PASS Version 2.0 (CW, UB, TH, EK, CT, DT), pp. 275–279.