BibTeX record conf/vissas/Peled05

• > Home > conf/vissas/Peled05

@inproceedings{DBLP:conf/vissas/Peled05,
  author       = {Doron A. Peled},
  editor       = {Edmund M. Clarke and
                  Marius Minea and
                  Ferucio Laurentiu Tiplea},
  title        = {Automatic Test Generation and Monitoring of Infinite States Systems},
  booktitle    = {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},
  pages        = {127--142},
  publisher    = {{IOS} Press},
  year         = {2005},
  timestamp    = {Fri, 12 Feb 2016 07:36:54 +0100},
  biburl       = {https://dblp.org/rec/conf/vissas/Peled05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}