BibTeX record conf/etrics/BarnettNSS06

download as .bib file

@inproceedings{DBLP:conf/etrics/BarnettNSS06,
  author       = {Michael Barnett and
                  David A. Naumann and
                  Wolfram Schulte and
                  Qi Sun},
  editor       = {G{\"{u}}nter M{\"{u}}ller},
  title        = {Allowing State Changes in Specifications},
  booktitle    = {Emerging Trends in Information and Communication Security, International
                  Conference, {ETRICS} 2006, Freiburg, Germany, June 6-9, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3995},
  pages        = {321--336},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11766155\_23},
  doi          = {10.1007/11766155\_23},
  timestamp    = {Tue, 21 Mar 2023 21:03:18 +0100},
  biburl       = {https://dblp.org/rec/conf/etrics/BarnettNSS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics