_id,doi,title
6005,10.4230/LIPICS.MFCS.2018.23,Timed network games with clocks