A Formal Approach to Modelling and Verifying Resource-Bounded Context-Aware Agents. A.~Rakib & R.~U.~Faruqui In P.C. Vinh et al. (Eds.) ICCASA'12, Revised Selected Papers, volume 109, of LNICST, pages 86-96, 2012. Springer-Verlag. Paper bibtex @inproceedings{RakibF12,
author = {A.~Rakib and R.~U.~Faruqui},
title = {A {F}ormal {A}pproach to {M}odelling and {V}erifying {R}esource-{B}ounded {C}ontext-{A}ware {A}gents},
booktitle = {P.C. Vinh et al. (Eds.) {ICCASA'12}, Revised Selected Papers},
year = {2012},
pages = {86-96},
volume = {109},
year = {2012},
series ={LNICST},
publisher = {Springer-Verlag},
url_Paper = {http://link.springer.com/content/pdf/10.1007%2F978-3-642-36642-0_9.pdf},
}
Downloads: 0
{"_id":"kbRKt6pb9TdFracLn","bibbaseid":"arakib-rufaruqui-aformalapproachtomodellingandverifyingresourceboundedcontextawareagents-2012","downloads":0,"creationDate":"2015-12-06T02:45:03.554Z","title":"A Formal Approach to Modelling and Verifying Resource-Bounded Context-Aware Agents","author_short":["A.~Rakib","R.~U.~Faruqui"],"year":2012,"bibtype":"inproceedings","biburl":"http://www.cas.mcmaster.ca/~faruqumr/pub2013.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":[],"propositions":[],"lastnames":["A.~Rakib"],"suffixes":[]},{"firstnames":[],"propositions":[],"lastnames":["R.~U.~Faruqui"],"suffixes":[]}],"title":"A Formal Approach to Modelling and Verifying Resource-Bounded Context-Aware Agents","booktitle":"P.C. Vinh et al. (Eds.) ICCASA'12, Revised Selected Papers","year":"2012","pages":"86-96","volume":"109","series":"LNICST","publisher":"Springer-Verlag","url_paper":"http://link.springer.com/content/pdf/10.1007%2F978-3-642-36642-0_9.pdf","bibtex":"@inproceedings{RakibF12,\n author = {A.~Rakib and R.~U.~Faruqui},\n title = {A {F}ormal {A}pproach to {M}odelling and {V}erifying {R}esource-{B}ounded {C}ontext-{A}ware {A}gents},\n booktitle = {P.C. Vinh et al. (Eds.) {ICCASA'12}, Revised Selected Papers},\n year = {2012},\n pages = {86-96},\n volume = {109},\n year = {2012},\n series ={LNICST},\n publisher = {Springer-Verlag},\n url_Paper = {http://link.springer.com/content/pdf/10.1007%2F978-3-642-36642-0_9.pdf}, \n }\n \n ","author_short":["A.~Rakib","R.~U.~Faruqui"],"key":"RakibF12","id":"RakibF12","bibbaseid":"arakib-rufaruqui-aformalapproachtomodellingandverifyingresourceboundedcontextawareagents-2012","role":"author","urls":{" paper":"http://link.springer.com/content/pdf/10.1007%2F978-3-642-36642-0_9.pdf"},"metadata":{"authorlinks":{}}},"search_terms":["formal","approach","modelling","verifying","resource","bounded","context","aware","agents","a.~rakib","r.~u.~faruqui"],"keywords":[],"authorIDs":[],"dataSources":["jFB5iQASxQCjrqcEH","A8zhrYkY5icmomrWx"]}