%0 Conference Paper %1 conf/cpsweek/KecskesMJL19 %A Kecskés, Tamás %A Meijer, Patrik %A Johnson, Taylor T. %A Lucas, Marcus %B DESTION@CPSIoTWeek %D 2019 %E Sangiovanni-Vincentelli, Alberto L. %E Sztipanovits, Janos %E Zhu, Qi %I ACM %K dblp %P 60-61 %T Demo: a design studio for verification tools. %U http://dblp.uni-trier.de/db/conf/cpsweek/destion2019.html#KecskesMJL19 %@ 978-1-4503-6699-1

@inproceedings{conf/cpsweek/KecskesMJL19, added-at = {2019-04-07T00:00:00.000+0200}, author = {Kecskés, Tamás and Meijer, Patrik and Johnson, Taylor T. and Lucas, Marcus}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2695610f72d1f418a3b3de49b2db17c92/dblp}, booktitle = {DESTION@CPSIoTWeek}, crossref = {conf/cpsweek/2019destion}, editor = {Sangiovanni-Vincentelli, Alberto L. and Sztipanovits, Janos and Zhu, Qi}, ee = {https://doi.org/10.1145/3313151.3314057}, interhash = {fd6acc184624237f93732bb7ab19812a}, intrahash = {695610f72d1f418a3b3de49b2db17c92}, isbn = {978-1-4503-6699-1}, keywords = {dblp}, pages = {60-61}, publisher = {ACM}, timestamp = {2019-09-27T17:31:44.000+0200}, title = {Demo: a design studio for verification tools.}, url = {http://dblp.uni-trier.de/db/conf/cpsweek/destion2019.html#KecskesMJL19}, year = 2019 }