BibTeX record conf/vissas/FisherKL05

• > Home > conf/vissas/FisherKL05

@inproceedings{DBLP:conf/vissas/FisherKL05,
  author       = {Michael Fisher and
                  Boris Konev and
                  Alexei Lisitsa},
  editor       = {Edmund M. Clarke and
                  Marius Minea and
                  Ferucio Laurentiu Tiplea},
  title        = {Practical Infinite-State Verification with Temporal Reasoning},
  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        = {91--100},
  publisher    = {{IOS} Press},
  year         = {2005},
  timestamp    = {Fri, 03 Jun 2022 08:18:14 +0200},
  biburl       = {https://dblp.org/rec/conf/vissas/FisherKL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}