Optimal Bounds for Multiweighted and Parametrised Energy Games

Line Juhl, Kim Guldstrand Larsen, Jean-François Raskin

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

23 Citationer (Scopus)
OriginalsprogEngelsk
TitelTheories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Vol/bind8051
ForlagSpringer Publishing Company
Publikationsdato2013
Sider244-255
ISBN (Trykt)978-3-642-39697-7
ISBN (Elektronisk)978-3-642-39698-4
DOI
StatusUdgivet - 2013
NavnLecture Notes in Computer Science
Vol/bind8051
ISSN0302-9743

Citationsformater