BibTeX record conf/cpsweek/KecskesMJL19

• > Home > conf/cpsweek/KecskesMJL19

@inproceedings{DBLP:conf/cpsweek/KecskesMJL19,
  author       = {Tam{\'{a}}s Kecsk{\'{e}}s and
                  Patrik Meijer and
                  Taylor T. Johnson and
                  Marcus Lucas},
  editor       = {Alberto L. Sangiovanni{-}Vincentelli and
                  Janos Sztipanovits and
                  Qi Zhu},
  title        = {Demo: a design studio for verification tools},
  booktitle    = {Proceedings of the Workshop on Design Automation for {CPS} and IoT,
                  DESTION@CPSIoTWeek 2019, Montreal, QC, Canada, April 15, 2019},
  pages        = {60--61},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3313151.3314057},
  doi          = {10.1145/3313151.3314057},
  timestamp    = {Mon, 15 Jun 2020 17:03:41 +0200},
  biburl       = {https://dblp.org/rec/conf/cpsweek/KecskesMJL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}