2002
Protocol Techniques for Testing Radiotherapy Accelerators.
[DOI]
Kenneth J. Turner
,
Qian Bing
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002