DBLP Record 'conf/vissas/BozgaEJLMP05'

BibTeX

@inproceedings{DBLP:conf/vissas/BozgaEJLMP05,
  author    = {Liana Bozga and
               Cristian Ene and
               Romain Janvier and
               Yassine Lakhnech and
               Laurent Mazar{\'e} and
               Micha{\"e}l P{\'e}rin},
  title     = {Automatic Verification of Security Properties Based on Abstractions},
  booktitle = {VISSAS},
  year      = {2005},
  pages     = {23-53},
  crossref  = {DBLP:conf/vissas/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/vissas/2005,
  editor    = {Edmund M. Clarke and
               Marius Minea and
               Ferucio Laurentiu Tiplea},
  title     = {Verification of Infinite-State Systems with Applications
               to Security, Proceedings of the NATO Advanced Research Workshop
               "Verification of Infinite State Systems with Applications
               to Security VISSAS 2005", Timisoara, Romania, March 17-22,
               2005},
  booktitle = {VISSAS},
  publisher = {IOS Press},
  series    = {NATO Security through Science Series D: Information and
               Communication Security},
  volume    = {1},
  year      = {2006},
  isbn      = {1-58603-570-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}