BibTeX record journals/fmsd/LeducBLKP99

download as .bib file

@article{DBLP:journals/fmsd/LeducBLKP99,
  author       = {Guy Leduc and
                  Olivier Bonaventure and
                  Luc L{\'{e}}onard and
                  Eckhart Koerner and
                  Charles Pecheur},
  title        = {Model-Based Verification of a Security Protocol for Conditional Access
                  to Services},
  journal      = {Formal Methods Syst. Des.},
  volume       = {14},
  number       = {2},
  pages        = {171--191},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1008683519655},
  doi          = {10.1023/A:1008683519655},
  timestamp    = {Fri, 13 Mar 2020 10:55:17 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/LeducBLKP99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.