%0 Conference Paper %1 conf/aaai/GunaySLZ15 %A Günay, Akin %A Song, Songzheng %A Liu, Yang %A Zhang, Jie %B AAAI %D 2015 %E Bonet, Blai %E Koenig, Sven %I AAAI Press %K dblp %P 2060-2066 %T Automated Analysis of Commitment Protocols Using Probabilistic Model Checking. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2015.html#GunaySLZ15 %@ 978-1-57735-698-1

@inproceedings{conf/aaai/GunaySLZ15, added-at = {2023-09-18T00:00:00.000+0200}, author = {Günay, Akin and Song, Songzheng and Liu, Yang and Zhang, Jie}, biburl = {https://www.bibsonomy.org/bibtex/22806d2b086ca4518ff74c080582b8c27/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2015}, editor = {Bonet, Blai and Koenig, Sven}, ee = {https://doi.org/10.1609/aaai.v29i1.9437}, interhash = {68b7f8fc0bc1cb225d78f8b377410673}, intrahash = {2806d2b086ca4518ff74c080582b8c27}, isbn = {978-1-57735-698-1}, keywords = {dblp}, pages = {2060-2066}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:10:14.000+0200}, title = {Automated Analysis of Commitment Protocols Using Probabilistic Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2015.html#GunaySLZ15}, year = 2015 }