Masaryk University
Apply for Author Copy
česky
|
in English
BRÁZDIL, Tomáš, Krishnendu CHATTERJEE, Antonín KUČERA and Petr NOVOTNÝ. Efficient Controller Synthesis for Consumption Games with Multiple Resource Types. In
Computer Aided Verification - 24th International Conference, CAV 2012
. Berlin: Springer, 2012, p. 23-38. ISBN 978-3-642-31423-0. Available from: https://dx.doi.org/10.1007/978-3-642-31424-7_8.
You are about to send a request for the author's access to the following files.
https://is.muni.cz/auth/publication/991673/1202.0796v2.pdf
Your email:
The reason for your request:
Enter this
code:
You must fill in your email, the reason for your request, and the verification code in order to send the request.