Frank Werner

Affiliations:
  • Karlsruhe Institute of Technology, Germany (PhD 2009)


According to our database1, Frank Werner authored at least 2 papers between 2009 and 2010.

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

2010
Correctness of Sensor Network Applications by Software Bounded Model Checking.
Proceedings of the Formal Methods for Industrial Critical Systems, 2010

2009
Applied Formal Methods in Wireless Sensor Networks.
PhD thesis, 2009


  Loading...