Frank Nodes

According to our database, Frank Nodes authored at least 1 paper in 2006.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2006

Intransitive Noninterference in Dependence Graphs.

Christian Hammer, Jens Krinke, Frank Nodes

Proceedings of the Leveraging Applications of Formal Methods, 2006