_id,doi,title
963,10.4230/LIPIcs.MFCS.2017.37,Timed network games with clocks