Demo: A Design Studio for Verification Tools (bibtex)

by T Kecskes, P Meijer, Taylor T. Johnson and M Lucas

Reference:

T Kecskes, P Meijer, Taylor T. Johnson and M Lucas, "Demo: A Design Studio for Verification Tools", In 1st Workshop on Design Automation for CPS and IoT (DESTION'19), ACM, pp. 60–61, 2019.

Bibtex Entry:

@inproceedings{kecskes2019destion,
  title = {Demo: A Design Studio for Verification Tools},
  author = {T Kecskes and P Meijer and Taylor T. Johnson and M Lucas},
  year = {2019},
  month = apr,
  booktitle = {1st Workshop on Design Automation for CPS and IoT (DESTION'19)},
  pages = {60--61},
  publisher = {ACM},
  doi = {10.1145/3313151.3314057},
  publabel = {W21},
  pubtype = {W},
  dblp = {conf/cpsweek/KecskesMJL19},
  s2id = {239333144},
}