Optimal Bounds for Multiweighted and Parametrised Energy Games.
L. Juhl, K. Larsen, and J. Raskin. Theories of Programming and Formal Methods, volume 8051 of Lecture Notes in Computer Science, page 244-255. Springer, (2013)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/birthday/JuhlLR13
%A Juhl, Line
%A Larsen, Kim Guldstrand
%A Raskin, Jean-François
%B Theories of Programming and Formal Methods
%D 2013
%E Liu, Zhiming
%E Woodcock, Jim
%E Zhu, Huibiao
%I Springer
%K dblp
%P 244-255
%T Optimal Bounds for Multiweighted and Parametrised Energy Games.
%U http://dblp.uni-trier.de/db/conf/birthday/he2013.html#JuhlLR13
%V 8051
%@ 978-3-642-39697-7
@inproceedings{conf/birthday/JuhlLR13,
added-at = {2017-05-23T00:00:00.000+0200},
author = {Juhl, Line and Larsen, Kim Guldstrand and Raskin, Jean-François},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ebcee67afe3e1cbb1ad61058d8c4819b/dblp},
booktitle = {Theories of Programming and Formal Methods},
crossref = {conf/birthday/2013he},
editor = {Liu, Zhiming and Woodcock, Jim and Zhu, Huibiao},
ee = {https://doi.org/10.1007/978-3-642-39698-4_15},
interhash = {929390479cd1305cf518600c521ac3af},
intrahash = {ebcee67afe3e1cbb1ad61058d8c4819b},
isbn = {978-3-642-39697-7},
keywords = {dblp},
pages = {244-255},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-09-27T14:05:18.000+0200},
title = {Optimal Bounds for Multiweighted and Parametrised Energy Games.},
url = {http://dblp.uni-trier.de/db/conf/birthday/he2013.html#JuhlLR13},
volume = 8051,
year = 2013
}