Compositional modelling of network games
author
statement of authorship
Elena Di Lavore, Jules Hedges, Paweł Sobociński
source
29th EACSL Annual Conference on Computer Science Logic : CSL 2021, January 25–28, 2021, Ljubljana, Slovenia (Virtual Conference)
location of publication
Wadern
publisher
year of publication
pages
art. 30, p. 30:1–30:24 : ill
series
Leibniz international proceedings in informatics (LIPIcs) ; 183
conference name, date
29th EACSL Annual Conference on Computer Science Logic, CSL 2021, Virtual, 25 January 2021 through 28 January 2021
conference location
Ljubljana, Slovenia
subject term
kvartiil
category (general)
category (sub)
keyword
ISSN
18688969
ISBN
978-395977175-7
notes
Bibliogr.: 24 ref
Vol. 183
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
TTÜ department
language
inglise
Uurimisrühm
Di Lavore, E., Hedges, J., Sobocinski, P.M. Compositional modelling of network games // 29th EACSL Annual Conference on Computer Science Logic : CSL 2021, January 25–28, 2021, Ljubljana, Slovenia (Virtual Conference). Wadern : Dagstuhl Publishing, 2021. art. 30, p. 30:1–30:24 : ill. (Leibniz international proceedings in informatics (LIPIcs) ; 183).