%0 Conference Paper %1 conf/iceccs/LiS13 %A Li, Qin %A Smith, Graeme %B ICECCS %D 2013 %I IEEE Computer Society %K dblp %P 111-120 %T Using Bounded Fairness to Specify and Verify Ordered Asynchronous Multi-agent Systems. %U http://dblp.uni-trier.de/db/conf/iceccs/iceccs2013.html#LiS13 %@ 978-0-7695-5007-7

@inproceedings{conf/iceccs/LiS13, added-at = {2023-03-24T00:00:00.000+0100}, author = {Li, Qin and Smith, Graeme}, biburl = {https://www.bibsonomy.org/bibtex/2d4565001f4470de0200184d0099559e7/dblp}, booktitle = {ICECCS}, crossref = {conf/iceccs/2013}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2013.24}, interhash = {f5090cda7fed679b79d9c5c505d34b99}, intrahash = {d4565001f4470de0200184d0099559e7}, isbn = {978-0-7695-5007-7}, keywords = {dblp}, pages = {111-120}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T08:31:21.000+0200}, title = {Using Bounded Fairness to Specify and Verify Ordered Asynchronous Multi-agent Systems.}, url = {http://dblp.uni-trier.de/db/conf/iceccs/iceccs2013.html#LiS13}, year = 2013 }