?url_ver=Z39.88-2004&rft_id=10.4204%2FEPTCS.166&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.aulast=Lanese+&rft.aufirst=Ivan&rft.au=Lanese+%2C+Ivan&rft.volume=166&rft.title=Electronic+Proceedings+in+Theoretical+Computer+Science&rft.atitle=(edited+by)+Proceedings+7th+Interaction+and+Concurrency+Experience%2C+ICE+2014+(Berlin%2C+Germany%2C+6th+June+2014)&rft.series=EPTCS&rft.date=October+2014&rft.issn=2075-2180&rft.genre=article