Stefan Lenk

List of publications from the DBLP Bibliography Server - FAQ

1998

2 EE Werner Grass, Stefan Lenk, Christine Sontheim: Design of Control Dominated Hardware Based on Formal Methods. EUROMICRO 1998: 10357-10364

1994

1 EE Stefan Lenk: Extended timing diagrams as a specification language. EURO-DAC 1994: 28-33

1998
2	EE	Werner Grass, Stefan Lenk, Christine Sontheim: Design of Control Dominated Hardware Based on Formal Methods. EUROMICRO 1998: 10357-10364
1994
1	EE	Stefan Lenk: Extended timing diagrams as a specification language. EURO-DAC 1994: 28-33

Coauthor Index