%0 Journal Article %1 journals/tc/XuKTMT15 %A Xu, Dianxiang %A Kent, Michael %A Thomas, Lijo %A Mouelhi, Tejeddine %A Traon, Yves Le %D 2015 %J IEEE Trans. Computers %K dblp %N 9 %P 2490-2505 %T Automated Model-Based Testing of Role-Based Access Control Using Predicate/Transition Nets. %U http://dblp.uni-trier.de/db/journals/tc/tc64.html#XuKTMT15 %V 64

@article{journals/tc/XuKTMT15, added-at = {2015-12-22T00:00:00.000+0100}, author = {Xu, Dianxiang and Kent, Michael and Thomas, Lijo and Mouelhi, Tejeddine and Traon, Yves Le}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/21180a9e5f2ef2a59b6a9bece3d73fb77/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TC.2014.2375189}, interhash = {adee0a316a0ba50d14823418818fd4bb}, intrahash = {1180a9e5f2ef2a59b6a9bece3d73fb77}, journal = {IEEE Trans. Computers}, keywords = {dblp}, number = 9, pages = {2490-2505}, timestamp = {2016-02-02T02:37:14.000+0100}, title = {Automated Model-Based Testing of Role-Based Access Control Using Predicate/Transition Nets.}, url = {http://dblp.uni-trier.de/db/journals/tc/tc64.html#XuKTMT15}, volume = 64, year = 2015 }