Michael Barnett, David A. Naumann, Wolfram Schulte, Qi Sun. Allowing State Changes in Specifications. In Günter Müller, editor, Emerging Trends in Information and Communication Security, International Conference, ETRICS 2006, Freiburg, Germany, June 6-9, 2006, Proceedings. Volume 3995 of Lecture Notes in Computer Science, pages 321-336, Springer, 2006. [doi]
No references recorded for this publication.
No citations of this publication recorded.