%0 Conference Paper %1 conf/ifm/PodorozhnyKPZ07 %A Podorozhny, Rodion M. %A Khurshid, Sarfraz %A Perry, Dewayne E. %A Zhang, Xiaoqin %B IFM %D 2007 %E Davies, Jim %E Gibbons, Jeremy %I Springer %K %P 501-517 %T Verification of Multi-agent Negotiations Using the Alloy Analyzer. %U http://dblp.uni-trier.de/db/conf/ifm/ifm2007.html#PodorozhnyKPZ07 %V 4591 %@ 978-3-540-73209-9

@inproceedings{conf/ifm/PodorozhnyKPZ07, added-at = {2023-12-12T19:10:45.000+0100}, author = {Podorozhny, Rodion M. and Khurshid, Sarfraz and Perry, Dewayne E. and Zhang, Xiaoqin}, biburl = {https://www.bibsonomy.org/bibtex/2d30e5dbf2e68f58e629ba5dc8e249777/admin}, booktitle = {IFM}, crossref = {conf/ifm/2007}, editor = {Davies, Jim and Gibbons, Jeremy}, ee = {https://doi.org/10.1007/978-3-540-73210-5_26}, interhash = {1cdf52e64fcc02c3dfb3750a366e082b}, intrahash = {d30e5dbf2e68f58e629ba5dc8e249777}, isbn = {978-3-540-73209-9}, keywords = {}, pages = {501-517}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T19:10:45.000+0100}, title = {Verification of Multi-agent Negotiations Using the Alloy Analyzer.}, url = {http://dblp.uni-trier.de/db/conf/ifm/ifm2007.html#PodorozhnyKPZ07}, volume = 4591, year = 2007 }