%0 Journal Article %1 journals/jss/AbusharkTHM17 %A Abushark, Yoosef B. %A Thangarajah, John %A Harland, James %A Miller, Tim %D 2017 %J J. Syst. Softw. %K %P 266-310 %T A framework for automatically ensuring the conformance of agent designs. %U http://dblp.uni-trier.de/db/journals/jss/jss131.html#AbusharkTHM17 %V 131

@article{journals/jss/AbusharkTHM17, added-at = {2023-12-13T06:37:48.000+0100}, author = {Abushark, Yoosef B. and Thangarajah, John and Harland, James and Miller, Tim}, biburl = {https://www.bibsonomy.org/bibtex/2fe25bc7eff23641f590c145c6fb2711b/admin}, ee = {https://doi.org/10.1016/j.jss.2017.05.098}, interhash = {afc648e7976f53110630fef26fe98a70}, intrahash = {fe25bc7eff23641f590c145c6fb2711b}, journal = {J. Syst. Softw.}, keywords = {}, pages = {266-310}, timestamp = {2023-12-13T06:37:48.000+0100}, title = {A framework for automatically ensuring the conformance of agent designs.}, url = {http://dblp.uni-trier.de/db/journals/jss/jss131.html#AbusharkTHM17}, volume = 131, year = 2017 }