%0 Journal Article %1 journals/kais/HuKZBL17 %A Hu, Jinwei %A Khan, Khaled M. %A Zhang, Yan %A Bai, Yun %A Li, Ruixuan %D 2017 %J Knowl. Inf. Syst. %K dblp %N 1 %P 187-234 %T Role updating in information systems using model checking. %U http://dblp.uni-trier.de/db/journals/kais/kais51.html#HuKZBL17 %V 51

@article{journals/kais/HuKZBL17, added-at = {2023-06-28T00:00:00.000+0200}, author = {Hu, Jinwei and Khan, Khaled M. and Zhang, Yan and Bai, Yun and Li, Ruixuan}, biburl = {https://www.bibsonomy.org/bibtex/23ea0e66f848053eaeda729a195b413d8/dblp}, ee = {https://doi.org/10.1007/s10115-016-0974-4}, interhash = {adc9cd5f63cf5aaa2122a70f54fd79ca}, intrahash = {3ea0e66f848053eaeda729a195b413d8}, journal = {Knowl. Inf. Syst.}, keywords = {dblp}, number = 1, pages = {187-234}, timestamp = {2024-04-08T17:42:59.000+0200}, title = {Role updating in information systems using model checking.}, url = {http://dblp.uni-trier.de/db/journals/kais/kais51.html#HuKZBL17}, volume = 51, year = 2017 }