Gaétan Hains. Efficient static checking of dynamic access control in shared multiprocessor environments. In William K. McQuay, Waleed W. Smari, editors, 2007 International Symposium on Collaborative Technologies and Systems, CTS 2007, Orlando, Florida, USA, May 21-25, 2007. pages 33-36, IEEE, 2007. [doi]
No references recorded for this publication.
No citations of this publication recorded.