Inproceedings,
Tool Supported Analysis of IoT.
C. Bodei, P. Degano, L. Galletta, and E. Tuosto.ICE@DisCoTec, volume 261 of EPTCS, page 37-56. (2017)
Meta data
- BibTeX key
- journals/corr/abs-1711-11210
- entry type
- inproceedings
- booktitle
- ICE@DisCoTec
- year
- 2017
- pages
- 37-56
- series
- EPTCS
- volume
- 261
- crossref
- journals/corr/abs-1711-10708
- ee
- http://arxiv.org/abs/1711.11210
- url
- http://dblp.uni-trier.de/db/series/eptcs/eptcs261.html#abs-1711-11210
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 journals/corr/abs-1711-11210
%A Bodei, Chiara
%A Degano, Pierpaolo
%A Galletta, Letterio
%A Tuosto, Emilio
%B ICE@DisCoTec
%D 2017
%E Bartoletti, Massimo
%E Bocchi, Laura
%E Henrio, Ludovic
%E Knight, Sophia
%K dblp
%P 37-56
%T Tool Supported Analysis of IoT.
%U http://dblp.uni-trier.de/db/series/eptcs/eptcs261.html#abs-1711-11210
%V 261
@inproceedings{journals/corr/abs-1711-11210,
added-at = {2018-11-02T00:00:00.000+0100},
author = {Bodei, Chiara and Degano, Pierpaolo and Galletta, Letterio and Tuosto, Emilio},
biburl = {https://www.bibsonomy.org/bibtex/212e3026f16acc7c95f39293287d421f4/dblp},
booktitle = {ICE@DisCoTec},
crossref = {journals/corr/abs-1711-10708},
editor = {Bartoletti, Massimo and Bocchi, Laura and Henrio, Ludovic and Knight, Sophia},
ee = {http://arxiv.org/abs/1711.11210},
interhash = {48584c9548f56920c064f9d8d73b39e0},
intrahash = {12e3026f16acc7c95f39293287d421f4},
keywords = {dblp},
pages = {37-56},
series = {EPTCS},
timestamp = {2018-11-03T13:22:49.000+0100},
title = {Tool Supported Analysis of IoT.},
url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs261.html#abs-1711-11210},
volume = 261,
year = 2017
}