%0 Conference Paper %1 conf/kesamsta/BadicaB07 %A Badica, Amelia %A Badica, Costin %B KES-AMSTA %D 2007 %E Nguyen, Ngoc Thanh %E Grzech, Adam %E Howlett, Robert J. %E Jain, Lakhmi C. %I Springer %K dblp %P 248-257 %T Formal Modeling of Agent-Based English Auctions Using Finite State Process Algebra. %U http://dblp.uni-trier.de/db/conf/kesamsta/kesamsta2007.html#BadicaB07 %V 4496 %@ 978-3-540-72829-0

@inproceedings{conf/kesamsta/BadicaB07, added-at = {2017-05-21T00:00:00.000+0200}, author = {Badica, Amelia and Badica, Costin}, biburl = {https://www.bibsonomy.org/bibtex/24ae414493be85daa143fda0c63420d35/dblp}, booktitle = {KES-AMSTA}, crossref = {conf/kesamsta/2007}, editor = {Nguyen, Ngoc Thanh and Grzech, Adam and Howlett, Robert J. and Jain, Lakhmi C.}, ee = {https://doi.org/10.1007/978-3-540-72830-6_26}, interhash = {71198162abcea3181b5ecfe2187aa7be}, intrahash = {4ae414493be85daa143fda0c63420d35}, isbn = {978-3-540-72829-0}, keywords = {dblp}, pages = {248-257}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T00:53:01.000+0200}, title = {Formal Modeling of Agent-Based English Auctions Using Finite State Process Algebra.}, url = {http://dblp.uni-trier.de/db/conf/kesamsta/kesamsta2007.html#BadicaB07}, volume = 4496, year = 2007 }