?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.aulast=Bartoletti&rft.aufirst=Massimo&rft.au=Bartoletti%2C+Massimo&rft.issn=2075-2180&rft.title=Electronic+Proceedings+in+Theoretical+Computer+Science&rft.atitle=(edited+by)+Proceedings+9th+Interaction+and+Concurrency+Experience%2C+ICE+2016%2C+Heraklion%2C+Greece%2C+8-9+June+2016&rft.date=2016&rft.volume=223&rft.genre=article