BibTeX record conf/vissas/2005

download as .bib file

@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},
  series    = {{NATO} Security through Science Series {D:} Information and Communication
               Security},
  volume    = {1},
  publisher = {{IOS} Press},
  year      = {2006},
  isbn      = {1-58603-570-3},
  timestamp = {Thu, 07 Sep 2006 10:46:10 +0200},
  biburl    = {https://dblp.org/rec/conf/vissas/2005.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics