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. Clarke, E. M., Minea, M., & Tiplea, F. L., editors Volume 1of NATO Security through Science Series D: Information and Communication SecurityIOS Press. 2006.
bibtex   
@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/bib/conf/vissas/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0