@proceedings{DBLP:journals/corr/BeekL16,
  editor    = {Maurice H. ter Beek and
               Michele Loreti},
  title     = {Proceedings of the Workshop on FORmal methods for the quantitative
               Evaluation of Collective Adaptive SysTems, FORECAST@STAF 2016, Vienna,
               Austria, 8 July 2016},
  series    = {{EPTCS}},
  volume    = {217},
  year      = {2016},
  url       = {http://dx.doi.org/10.4204/EPTCS.217},
  doi       = {10.4204/EPTCS.217},
  timestamp = {Wed, 03 Aug 2016 11:42:52 +0200},
  biburl    = {http://dblp.dagstuhl.de/rec/bib/journals/corr/BeekL16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

{"_id":"zif8sDdN9H5EnKgkS","bibbaseid":"terbeek-loreti-proceedingsoftheworkshoponformalmethodsforthequantitativeevaluationofcollectiveadaptivesystemsforecaststaf2016viennaaustria8july2016-2016","downloads":0,"creationDate":"2016-09-19T12:36:32.305Z","title":"Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, FORECAST@STAF 2016, Vienna, Austria, 8 July 2016","author_short":null,"year":2016,"bibtype":"proceedings","biburl":"http://dblp.org/pers/tb2/t/Tribastone:Mirco","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"firstnames":["Maurice","H."],"propositions":["ter"],"lastnames":["Beek"],"suffixes":[]},{"firstnames":["Michele"],"propositions":[],"lastnames":["Loreti"],"suffixes":[]}],"title":"Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, FORECAST@STAF 2016, Vienna, Austria, 8 July 2016","series":"EPTCS","volume":"217","year":"2016","url":"http://dx.doi.org/10.4204/EPTCS.217","doi":"10.4204/EPTCS.217","timestamp":"Wed, 03 Aug 2016 11:42:52 +0200","biburl":"http://dblp.dagstuhl.de/rec/bib/journals/corr/BeekL16","bibsource":"dblp computer science bibliography, http://dblp.org","bibtex":"@proceedings{DBLP:journals/corr/BeekL16,\n editor = {Maurice H. ter Beek and\n Michele Loreti},\n title = {Proceedings of the Workshop on FORmal methods for the quantitative\n Evaluation of Collective Adaptive SysTems, FORECAST@STAF 2016, Vienna,\n Austria, 8 July 2016},\n series = {{EPTCS}},\n volume = {217},\n year = {2016},\n url = {http://dx.doi.org/10.4204/EPTCS.217},\n doi = {10.4204/EPTCS.217},\n timestamp = {Wed, 03 Aug 2016 11:42:52 +0200},\n biburl = {http://dblp.dagstuhl.de/rec/bib/journals/corr/BeekL16},\n bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n","editor_short":["ter Beek, M. H.","Loreti, M."],"key":"DBLP:journals/corr/BeekL16","id":"DBLP:journals/corr/BeekL16","bibbaseid":"terbeek-loreti-proceedingsoftheworkshoponformalmethodsforthequantitativeevaluationofcollectiveadaptivesystemsforecaststaf2016viennaaustria8july2016-2016","role":"editor","urls":{"Paper":"http://dx.doi.org/10.4204/EPTCS.217"},"downloads":0},"search_terms":["proceedings","workshop","formal","methods","quantitative","evaluation","collective","adaptive","systems","forecast","staf","2016","vienna","austria","july","2016"],"keywords":[],"authorIDs":[],"dataSources":["CNwMY2u82MjtNmYTK"]}