%0 Conference Paper %1 conf/ACISicis/LiM15 %A Li, Zhuang %A Miao, Huaikou %B ICIS %D 2015 %E Ito, Takayuki %E Kim, Yanggon %E Fukuta, Naoki %I IEEE Computer Society %K dblp %P 455-460 %T Formal specification and reasoning for situated multi-agent system. %U http://dblp.uni-trier.de/db/conf/ACISicis/ACISicis2015.html#LiM15 %@ 978-1-4799-8679-8

@inproceedings{conf/ACISicis/LiM15, added-at = {2015-07-29T00:00:00.000+0200}, author = {Li, Zhuang and Miao, Huaikou}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/210fecc7e6f498a60f6acc4ad180a3da0/dblp}, booktitle = {ICIS}, crossref = {conf/ACISicis/2015}, editor = {Ito, Takayuki and Kim, Yanggon and Fukuta, Naoki}, ee = {http://doi.ieeecomputersociety.org/10.1109/ICIS.2015.7166636}, interhash = {f601a902a952451080e86ce9b5837729}, intrahash = {10fecc7e6f498a60f6acc4ad180a3da0}, isbn = {978-1-4799-8679-8}, keywords = {dblp}, pages = {455-460}, publisher = {IEEE Computer Society}, timestamp = {2016-09-22T09:34:09.000+0200}, title = {Formal specification and reasoning for situated multi-agent system.}, url = {http://dblp.uni-trier.de/db/conf/ACISicis/ACISicis2015.html#LiM15}, year = 2015 }