%0 Conference Paper %1 conf/emsoft/BajajEFP19 %A Bajaj, Viren %A Elmaaroufi, Karim %A Fulton, Nathan %A Platzer, André %B EMSOFT Companion %D 2019 %I ACM %K dblp %P 8 %T Verifiably safe SCUBA diving using commodity sensors: work-in-progress. %U http://dblp.uni-trier.de/db/conf/emsoft/emsoft2019c.html#BajajEFP19 %@ 978-1-4503-6924-4

@inproceedings{conf/emsoft/BajajEFP19, added-at = {2021-08-09T00:00:00.000+0200}, author = {Bajaj, Viren and Elmaaroufi, Karim and Fulton, Nathan and Platzer, André}, biburl = {https://www.bibsonomy.org/bibtex/22f4cc184bae6abfc9bb77899533cba3b/dblp}, booktitle = {EMSOFT Companion}, crossref = {conf/emsoft/2019c}, ee = {https://ieeexplore.ieee.org/document/117665541}, interhash = {e59b9097a27100cd276c8ebb31e39a1a}, intrahash = {2f4cc184bae6abfc9bb77899533cba3b}, isbn = {978-1-4503-6924-4}, keywords = {dblp}, pages = 8, publisher = {ACM}, timestamp = {2024-04-10T10:01:19.000+0200}, title = {Verifiably safe SCUBA diving using commodity sensors: work-in-progress.}, url = {http://dblp.uni-trier.de/db/conf/emsoft/emsoft2019c.html#BajajEFP19}, year = 2019 }