Max Odenbrett
According to our database1,
Max Odenbrett
authored at least 1 paper
in 2010.
Collaborative distances:
Collaborative distances:
Timeline
2010
0
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2010
Slicing AADL Specifications for Model Checking.
Proceedings of the Second NASA Formal Methods Symposium, 2010