%0 Conference Paper %1 conf/isdevel/BadicaB08 %A Badica, Amelia %A Badica, Costin %B ISD %D 2008 %E Papadopoulos, George Angelos %E Wojtkowski, Wita %E Wojtkowski, W. Gregory %E Wrycza, Stanislaw %E Zupancic, Joze %I Springer %K dblp %P 239-248 %T Specification and Verification of an Agent-Based Auction Service. %U http://dblp.uni-trier.de/db/conf/isdevel/isdevel2008.html#BadicaB08 %@ 978-0-387-84810-5

@inproceedings{conf/isdevel/BadicaB08, added-at = {2018-11-30T00:00:00.000+0100}, author = {Badica, Amelia and Badica, Costin}, biburl = {https://www.bibsonomy.org/bibtex/21981b5b3e377db5aa40e70b54af87fe7/dblp}, booktitle = {ISD}, crossref = {conf/isdevel/2008}, editor = {Papadopoulos, George Angelos and Wojtkowski, Wita and Wojtkowski, W. Gregory and Wrycza, Stanislaw and Zupancic, Joze}, ee = {https://doi.org/10.1007/b137171_25}, interhash = {41c8f3b36d26cbad9881d0a67add549c}, intrahash = {1981b5b3e377db5aa40e70b54af87fe7}, isbn = {978-0-387-84810-5}, keywords = {dblp}, pages = {239-248}, publisher = {Springer}, timestamp = {2018-12-01T13:11:26.000+0100}, title = {Specification and Verification of an Agent-Based Auction Service.}, url = {http://dblp.uni-trier.de/db/conf/isdevel/isdevel2008.html#BadicaB08}, year = 2008 }