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]
@inproceedings{BarnettNSS06,
title = {Allowing State Changes in Specifications},
author = {Michael Barnett and David A. Naumann and Wolfram Schulte and Qi Sun},
year = {2006},
doi = {10.1007/11766155_23},
url = {http://dx.doi.org/10.1007/11766155_23},
researchr = {https://researchr.org/publication/BarnettNSS06},
cites = {0},
citedby = {0},
pages = {321-336},
booktitle = {Emerging Trends in Information and Communication Security, International Conference, ETRICS 2006, Freiburg, Germany, June 6-9, 2006, Proceedings},
editor = {Günter Müller},
volume = {3995},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-34640-6},
}