Thomas Schübel

According to our database1, Thomas Schübel authored at least 1 paper in 1988.

Collaborative distances:
  • no known Dijkstra number2.
  • no known Erdős number3.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

1988
Eine Methode zur Verifikation von Prädikat/Transitions-Netzen und ihr Vergleich mit dem Hoare-Kalkül zur Programmverifikation.
PhD thesis, 1988


  Loading...