Stefan Lenk

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1998

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

1994

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

1993

1 Wolf-Dieter Tiedemann, Stefan Lenk, C. Grobe, Werner Grass: Introducing structure into behavioural descriptions obtained from timing diagram specifications. Microprocessing and Microprogramming 38(1-5): 581-588 (1993)

	1998
3		Werner Grass, Stefan Lenk, Christine Sontheim: Design of Control Dominated Hardware Based on Formal Methods. EUROMICRO 1998: 10357-10364
	1994
2		Stefan Lenk: Extended timing diagrams as a specification language. EURO-DAC 1994: 28-33
	1993
1		Wolf-Dieter Tiedemann, Stefan Lenk, C. Grobe, Werner Grass: Introducing structure into behavioural descriptions obtained from timing diagram specifications. Microprocessing and Microprogramming 38(1-5): 581-588 (1993)

Coauthor Index