We stand with Ukraine  

Stefan Lenk

Affiliations:
  • University of Passau, Germany (PhD 2000)


According to our database1, Stefan Lenk authored at least 4 papers between 1993 and 2000.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2000
Ein CAD-System zum formal basierten, automatischen Entwurf von Kommunikationsprozessoren aus abstrakten Zeitdiagrammspezifikationen.
[BibTeX]
[DOI]
Stefan Lenk
PhD thesis, 2000

1998
Design of Control Dominated Hardware Based on Formal Methods.
[BibTeX]
[DOI]
Werner Grass
,
Stefan Lenk
,
Christine Sontheim
Proceedings of the 24th EUROMICRO '98 Conference, 1998

1994
Extended timing diagrams as a specification language.
[BibTeX]
[DOI]
Stefan Lenk
Proceedings of the Proceedings EURO-DAC'94, 1994

1993
Introducing structure into behavioural descriptions obtained from timing diagram specifications.
[BibTeX]
[DOI]
Wolf-Dieter Tiedemann
,
Stefan Lenk
,
C. Grobe
,
Werner Grass
Microprocess. Microprogramming, 1993


  Loading...