BibTeX record conf/ecbs/IqbalTVP17

• > Home > conf/ecbs/IqbalTVP17

@inproceedings{DBLP:conf/ecbs/IqbalTVP17,
  author       = {Junaid Iqbal and
                  Dragos Truscan and
                  J{\"{u}}ri Vain and
                  Ivan Porres},
  editor       = {Ondrej Rysav{\'{y}} and
                  Valentino Vranic and
                  George Angelos Papadopoulos},
  title        = {Reconstructing timed symbolic traces from \emph{rtioco}-based timed
                  test sequences using backward-induction},
  booktitle    = {Proceedings of the Fifth European Conference on the Engineering of
                  Computer-Based Systems, {ECBS} 2017, Larnaca, Cyprus, August 31 -
                  September 01, 2017},
  pages        = {6:1--6:10},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3123779.3123813},
  doi          = {10.1145/3123779.3123813},
  timestamp    = {Sat, 05 Sep 2020 18:03:42 +0200},
  biburl       = {https://dblp.org/rec/conf/ecbs/IqbalTVP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}