BibTeX record conf/fedcsis/TothT19

• > Home > conf/fedcsis/TothT19

@inproceedings{DBLP:conf/fedcsis/TothT19,
  author       = {Gabriella T{\'{o}}th and
                  M{\'{a}}t{\'{e}} Tejfel},
  editor       = {Maria Ganzha and
                  Leszek A. Maciaszek and
                  Marcin Paprzycki},
  title        = {A formal method to detect possible {P4} specific errors},
  booktitle    = {Position Papers of the 2019 Federated Conference on Computer Science
                  and Information Systems, FedCSIS 2019, Leipzig, Germany, September
                  1-4, 2019},
  series       = {Annals of Computer Science and Information Systems},
  volume       = {19},
  pages        = {49--56},
  year         = {2019},
  url          = {https://doi.org/10.15439/2019F355},
  doi          = {10.15439/2019F355},
  timestamp    = {Tue, 23 Apr 2024 10:06:16 +0200},
  biburl       = {https://dblp.org/rec/conf/fedcsis/TothT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}