Travelled to:1 × France
1 × Korea
Collaborated with:B.Straube T.Klotz N.Seßler E.Fordran K.Turek
Talks about:algorithm (1) transfer (1) descript (1) equival (1) circuit (1) automat (1) system (1) regist (1) materi (1) formal (1)
Person: Jens Schönherr
DBLP: Sch=ouml=nherr:Jens
Contributed to:
2012
2000Wrote 2 papers:
- CASE-2012-KlotzSSFTS #on the #verification
- On the formal verification of routing in material handling systems (TK, NS, BS, EF, KT, JS), pp. 8–13.
- DATE-2000-SchonherrS #algorithm #automation #equivalence
- Automatic Equivalence Check of Circuit Descriptions at Clocked Algorithmic and Register Transfer Level (JS, BS), p. 759.