%0 Conference Paper %1 conf/esaw/HilaireKGM00 %A Hilaire, Vincent %A Koukam, Abder %A Gruer, Pablo %A Müller, Jean-Pierre %B ESAW %D 2000 %E Omicini, Andrea %E Tolksdorf, Robert %E Zambonelli, Franco %I Springer %K dblp %P 114-127 %T Formal Specification and Prototyping of Multi-agent Systems. %U http://dblp.uni-trier.de/db/conf/esaw/esaw2000.html#HilaireKGM00 %V 1972 %@ 3-540-41477-0

@inproceedings{conf/esaw/HilaireKGM00, added-at = {2018-11-02T00:00:00.000+0100}, author = {Hilaire, Vincent and Koukam, Abder and Gruer, Pablo and Müller, Jean-Pierre}, biburl = {https://www.bibsonomy.org/bibtex/21fc3a62b1be1cb8913658dac794d0d76/dblp}, booktitle = {ESAW}, crossref = {conf/esaw/2000}, editor = {Omicini, Andrea and Tolksdorf, Robert and Zambonelli, Franco}, ee = {https://doi.org/10.1007/3-540-44539-0_9}, interhash = {01019c1734cbfbb036e7a6cf18bc88e4}, intrahash = {1fc3a62b1be1cb8913658dac794d0d76}, isbn = {3-540-41477-0}, keywords = {dblp}, pages = {114-127}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:54:41.000+0200}, title = {Formal Specification and Prototyping of Multi-agent Systems.}, url = {http://dblp.uni-trier.de/db/conf/esaw/esaw2000.html#HilaireKGM00}, volume = 1972, year = 2000 }