%0 Conference Paper %1 conf/ceemas/CetnarowiczGHK01 %A Cetnarowicz, Krzysztof %A Gruer, Pablo %A Hilaire, Vincent %A Koukam, Abder %B CEEMAS %D 2001 %E Dunin-Keplicz, Barbara %E Nawarecki, Edward %I Springer %K dblp %P 62-72 %T A Formal Specification of M-Agent Architecture. %U http://dblp.uni-trier.de/db/conf/ceemas/ceemas2001.html#CetnarowiczGHK01 %V 2296 %@ 3-540-43370-8

@inproceedings{conf/ceemas/CetnarowiczGHK01, added-at = {2017-05-26T00:00:00.000+0200}, author = {Cetnarowicz, Krzysztof and Gruer, Pablo and Hilaire, Vincent and Koukam, Abder}, biburl = {https://www.bibsonomy.org/bibtex/2900305e005c959f138644d3155ed8632/dblp}, booktitle = {CEEMAS}, crossref = {conf/ceemas/2001}, editor = {Dunin-Keplicz, Barbara and Nawarecki, Edward}, ee = {https://doi.org/10.1007/3-540-45941-3_7}, interhash = {8c96b64080469a391f42123349be7311}, intrahash = {900305e005c959f138644d3155ed8632}, isbn = {3-540-43370-8}, keywords = {dblp}, pages = {62-72}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:08:06.000+0200}, title = {A Formal Specification of M-Agent Architecture.}, url = {http://dblp.uni-trier.de/db/conf/ceemas/ceemas2001.html#CetnarowiczGHK01}, volume = 2296, year = 2001 }