Helmut Melcher

According to our database1, Helmut Melcher authored at least 2 papers between 1998 and 2002.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2002
Hierarchische kompositionale Synthese von Steuerungen für reaktive Systeme.
PhD thesis, 2002

1998
Controller synthesis for the "production cell" case study.
Proceedings of the Second Workshop on Formal Methods in Software Practice, 1998


  Loading...