Inproceedings,
Towards Model Checking of Implantable Cardioverter Defibrillators.
H. Abbas, K. Jang, Z. Jiang, and R. Mangharam.HSCC, page 87-92. ACM, (2016)
Meta data
- BibTeX key
- conf/hybrid/AbbasJJM16
- entry type
- inproceedings
- booktitle
- HSCC
- year
- 2016
- pages
- 87-92
- publisher
- ACM
- crossref
- conf/hybrid/2016
- ee
- https://doi.org/10.1145/2883817.2883841
- isbn
- 978-1-4503-3955-1
- url
- http://dblp.uni-trier.de/db/conf/hybrid/hscc2016.html#AbbasJJM16
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/hybrid/AbbasJJM16
%A Abbas, Houssam
%A Jang, Kuk Jin
%A Jiang, Zhihao
%A Mangharam, Rahul
%B HSCC
%D 2016
%E Abate, Alessandro
%E Fainekos, Georgios
%I ACM
%K dblp
%P 87-92
%T Towards Model Checking of Implantable Cardioverter Defibrillators.
%U http://dblp.uni-trier.de/db/conf/hybrid/hscc2016.html#AbbasJJM16
%@ 978-1-4503-3955-1
@inproceedings{conf/hybrid/AbbasJJM16,
added-at = {2021-09-23T00:00:00.000+0200},
author = {Abbas, Houssam and Jang, Kuk Jin and Jiang, Zhihao and Mangharam, Rahul},
biburl = {https://www.bibsonomy.org/bibtex/2b95d1e9e09026b0e1fb83da8223b4ba3/dblp},
booktitle = {HSCC},
crossref = {conf/hybrid/2016},
editor = {Abate, Alessandro and Fainekos, Georgios},
ee = {https://doi.org/10.1145/2883817.2883841},
interhash = {aeacc1a9d5f5b47a2a1afd44f4c3884d},
intrahash = {b95d1e9e09026b0e1fb83da8223b4ba3},
isbn = {978-1-4503-3955-1},
keywords = {dblp},
pages = {87-92},
publisher = {ACM},
timestamp = {2024-04-09T13:56:08.000+0200},
title = {Towards Model Checking of Implantable Cardioverter Defibrillators.},
url = {http://dblp.uni-trier.de/db/conf/hybrid/hscc2016.html#AbbasJJM16},
year = 2016
}