BibTeX record journals/entcs/BenesCSVZ08

• > Home > journals/entcs/BenesCSVZ08

@inproceedings{DBLP:journals/entcs/BenesCSVZ08,
  author       = {Nikola Benes and
                  Ivana Cern{\'{a}} and
                  Jiri Sochor and
                  Pavl{\'{\i}}na Varekov{\'{a}} and
                  Barbora Zimmerov{\'{a}}},
  editor       = {Ivana Cern{\'{a}} and
                  Gerald L{\"{u}}ttgen},
  title        = {A Case Study in Parallel Verification of Component-Based Systems},
  booktitle    = {Proceedings of the 7th International Workshop on Parallel and Distributed
                  Methods in verifiCation, PDMC@ETAPS 2008, Budapest, Hungary, March
                  29, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {220},
  number       = {2},
  pages        = {67--83},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2008.11.014},
  doi          = {10.1016/J.ENTCS.2008.11.014},
  timestamp    = {Fri, 24 Feb 2023 16:04:36 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BenesCSVZ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}