%0 Conference Paper %1 conf/dalt/BergentiRV03 %A Bergenti, Federico %A Rimassa, Giovanni %A Viroli, Mirko %B DALT %D 2003 %E Leite, João Alexandre %E Omicini, Andrea %E Sterling, Leon %E Torroni, Paolo %I Springer %K dblp %P 37-53 %T Operational Semantics for Agents by Iterated Refinement. %U http://dblp.uni-trier.de/db/conf/dalt/dalt2003.html#BergentiRV03 %V 2990 %@ 3-540-22124-7

@inproceedings{conf/dalt/BergentiRV03, added-at = {2017-05-19T00:00:00.000+0200}, author = {Bergenti, Federico and Rimassa, Giovanni and Viroli, Mirko}, biburl = {https://www.bibsonomy.org/bibtex/259436d6ec480a4b31db7dd264fe038e4/dblp}, booktitle = {DALT}, crossref = {conf/dalt/2003}, editor = {Leite, João Alexandre and Omicini, Andrea and Sterling, Leon and Torroni, Paolo}, ee = {https://doi.org/10.1007/978-3-540-25932-9_3}, interhash = {4261b5c604db7a76723f251fbde17d7d}, intrahash = {59436d6ec480a4b31db7dd264fe038e4}, isbn = {3-540-22124-7}, keywords = {dblp}, pages = {37-53}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:00:02.000+0200}, title = {Operational Semantics for Agents by Iterated Refinement.}, url = {http://dblp.uni-trier.de/db/conf/dalt/dalt2003.html#BergentiRV03}, volume = 2990, year = 2003 }