%0 Conference Paper %1 conf/ecai/SharpanskykhT06 %A Sharpanskykh, Alexei %A Treur, Jan %B ECAI %D 2006 %E Brewka, Gerhard %E Coradeschi, Silvia %E Perini, Anna %E Traverso, Paolo %I IOS Press %K dblp %P 290-294 %T Verifying Interlevel Relations Within Multi-Agent Systems. %U http://dblp.uni-trier.de/db/conf/ecai/ecai2006.html#SharpanskykhT06 %V 141 %@ 1-58603-642-4

@inproceedings{conf/ecai/SharpanskykhT06, added-at = {2012-03-13T00:00:00.000+0100}, author = {Sharpanskykh, Alexei and Treur, Jan}, biburl = {https://www.bibsonomy.org/bibtex/2faace39b961ef1dc7237d9b61c328dd6/dblp}, booktitle = {ECAI}, crossref = {conf/ecai/2006}, editor = {Brewka, Gerhard and Coradeschi, Silvia and Perini, Anna and Traverso, Paolo}, ee = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=1693}, interhash = {5324a95c8a3d237f58dd9257e9facd86}, intrahash = {faace39b961ef1dc7237d9b61c328dd6}, isbn = {1-58603-642-4}, keywords = {dblp}, pages = {290-294}, publisher = {IOS Press}, series = {Frontiers in Artificial Intelligence and Applications}, timestamp = {2012-03-14T11:37:08.000+0100}, title = {Verifying Interlevel Relations Within Multi-Agent Systems.}, url = {http://dblp.uni-trier.de/db/conf/ecai/ecai2006.html#SharpanskykhT06}, volume = 141, year = 2006 }