%0 Conference Paper %1 conf/appt/QiWYMQ03 %A Qi, Yan %A Wang, Xin %A Yan, Wei %A Mao, XinJun %A Qi, Zhi-Chang %B APPT %D 2003 %E Zhou, Xingming %E Jähnichen, Stefan %E Xu, Ming %E Cao, Jiannong %I Springer %K dblp %P 189-193 %T A Formal Specification and Method for MAS as a Distributed System. %U http://dblp.uni-trier.de/db/conf/appt/appt2003.html#QiWYMQ03 %V 2834 %@ 3-540-20054-1

@inproceedings{conf/appt/QiWYMQ03, added-at = {2018-03-05T00:00:00.000+0100}, author = {Qi, Yan and Wang, Xin and Yan, Wei and Mao, XinJun and Qi, Zhi-Chang}, biburl = {https://www.bibsonomy.org/bibtex/2ce0dda45ce6cb2a9bc6ee412b2ad7f90/dblp}, booktitle = {APPT}, crossref = {conf/appt/2003}, editor = {Zhou, Xingming and Jähnichen, Stefan and Xu, Ming and Cao, Jiannong}, ee = {https://doi.org/10.1007/978-3-540-39425-9_24}, interhash = {b8e7a8e5b00a9dbc8b73223ae259449c}, intrahash = {ce0dda45ce6cb2a9bc6ee412b2ad7f90}, isbn = {3-540-20054-1}, keywords = {dblp}, pages = {189-193}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:32:13.000+0200}, title = {A Formal Specification and Method for MAS as a Distributed System.}, url = {http://dblp.uni-trier.de/db/conf/appt/appt2003.html#QiWYMQ03}, volume = 2834, year = 2003 }