Allowing State Changes in Specifications

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]


Abstract is missing.