Quantitative Abstractions for Collective Adaptive Systems. Vandin, A. & Tribastone, M. In Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures, pages 202--232, 2016.
Quantitative Abstractions for Collective Adaptive Systems [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/sfm/VandinT16,
  author    = {Andrea Vandin and
               Mirco Tribastone},
  title     = {Quantitative Abstractions for Collective Adaptive Systems},
  booktitle = {Formal Methods for the Quantitative Evaluation of Collective Adaptive
               Systems - 16th International School on Formal Methods for the Design
               of Computer, Communication, and Software Systems, {SFM} 2016, Bertinoro,
               Italy, June 20-24, 2016, Advanced Lectures},
  pages     = {202--232},
  year      = {2016},
  crossref  = {DBLP:conf/sfm/2016},
  url       = {http://dx.doi.org/10.1007/978-3-319-34096-8_7},
  doi       = {10.1007/978-3-319-34096-8_7},
  timestamp = {Mon, 13 Jun 2016 18:28:55 +0200},
  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/sfm/VandinT16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

Downloads: 0