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...