%0 Conference Paper %1 conf/qest/KwiatkowskaN0S18 %A Kwiatkowska, Marta %A Norman, Gethin %A Parker, David %A Santos, Gabriel %B QEST %D 2018 %E McIver, Annabelle %E Horváth, András %I Springer %K dblp %P 223-239 %T Automated Verification of Concurrent Stochastic Games. %U http://dblp.uni-trier.de/db/conf/qest/qest2018.html#KwiatkowskaN0S18 %V 11024 %@ 978-3-319-99154-2

@inproceedings{conf/qest/KwiatkowskaN0S18, added-at = {2022-04-09T00:00:00.000+0200}, author = {Kwiatkowska, Marta and Norman, Gethin and Parker, David and Santos, Gabriel}, biburl = {https://www.bibsonomy.org/bibtex/239536a6a57837a1cb773903827aa26d9/dblp}, booktitle = {QEST}, crossref = {conf/qest/2018}, editor = {McIver, Annabelle and Horváth, András}, ee = {https://doi.org/10.1007/978-3-319-99154-2_14}, interhash = {17ba87a26abee19b45f76bad16a2219e}, intrahash = {39536a6a57837a1cb773903827aa26d9}, isbn = {978-3-319-99154-2}, keywords = {dblp}, pages = {223-239}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T14:53:07.000+0200}, title = {Automated Verification of Concurrent Stochastic Games.}, url = {http://dblp.uni-trier.de/db/conf/qest/qest2018.html#KwiatkowskaN0S18}, volume = 11024, year = 2018 }