Daniel Sandell
According to our database1,
Daniel Sandell
authored at least 2 papers
in 2004.
Collaborative distances:
Collaborative distances:
Timeline
2004
0
1
2
3
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2004
Proceedings of the Leveraging Applications of Formal Methods, 2004
Static Timing Analysis of Real-Time Operating Systems Code.
Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004