BibTeX record conf/pts/BombardaBGRDL19

download as .bib file

@inproceedings{DBLP:conf/pts/BombardaBGRDL19,
  author       = {Andrea Bombarda and
                  Silvia Bonfanti and
                  Angelo Gargantini and
                  Marco Radavelli and
                  Feng Duan and
                  Yu Lei},
  editor       = {Christophe Gaston and
                  Nikolai Kosmatov and
                  Pascale Le Gall},
  title        = {Combining Model Refinement and Test Generation for Conformance Testing
                  of the {IEEE} {PHD} Protocol Using Abstract State Machines},
  booktitle    = {Testing Software and Systems - 31st {IFIP} {WG} 6.1 International
                  Conference, {ICTSS} 2019, Paris, France, October 15-17, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11812},
  pages        = {67--85},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31280-0\_5},
  doi          = {10.1007/978-3-030-31280-0\_5},
  timestamp    = {Mon, 05 Feb 2024 20:35:18 +0100},
  biburl       = {https://dblp.org/rec/conf/pts/BombardaBGRDL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics