%0 Conference Paper %1 journals/corr/BodeiDFG16 %A Bodei, Chiara %A Degano, Pierpaolo %A Ferrari, Gian-Luigi %A Galletta, Letterio %B ICE %D 2016 %E Bartoletti, Massimo %E Henrio, Ludovic %E Knight, Sophia %E Vieira, Hugo Torres %K dblp %P 128-142 %T A Step Towards Checking Security in IoT. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs223.html#BodeiDFG16 %V 223

@inproceedings{journals/corr/BodeiDFG16, added-at = {2023-08-28T00:00:00.000+0200}, author = {Bodei, Chiara and Degano, Pierpaolo and Ferrari, Gian-Luigi and Galletta, Letterio}, biburl = {https://www.bibsonomy.org/bibtex/23a3012425621f97f90ff6cb3ecead3d9/dblp}, booktitle = {ICE}, crossref = {journals/corr/BartolettiHKV16}, editor = {Bartoletti, Massimo and Henrio, Ludovic and Knight, Sophia and Vieira, Hugo Torres}, ee = {https://www.wikidata.org/entity/Q114926768}, interhash = {056304dcfcce4eff5267f5cf0158bba8}, intrahash = {3a3012425621f97f90ff6cb3ecead3d9}, keywords = {dblp}, pages = {128-142}, series = {EPTCS}, timestamp = {2024-04-10T06:02:36.000+0200}, title = {A Step Towards Checking Security in IoT.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs223.html#BodeiDFG16}, volume = 223, year = 2016 }