%0 Journal Article %1 journals/eceasst/LucioZST11 %A Lucio, Levi %A Zhang, Qin %A Sousa, Vasco %A Traon, Yves Le %D 2011 %J ECEASST %K dblp %T Verifying Access Control in Statecharts. %U http://dblp.uni-trier.de/db/journals/eceasst/eceasst50.html#LucioZST11 %V 50

@article{journals/eceasst/LucioZST11, added-at = {2019-05-22T00:00:00.000+0200}, author = {Lucio, Levi and Zhang, Qin and Sousa, Vasco and Traon, Yves Le}, biburl = {https://www.bibsonomy.org/bibtex/201c40af664674a5f839b3fe85a262933/dblp}, ee = {https://doi.org/10.14279/tuj.eceasst.50.739}, interhash = {2a85ae44b093f92e48be1295e7682404}, intrahash = {01c40af664674a5f839b3fe85a262933}, journal = {ECEASST}, keywords = {dblp}, timestamp = {2019-05-23T11:50:16.000+0200}, title = {Verifying Access Control in Statecharts.}, url = {http://dblp.uni-trier.de/db/journals/eceasst/eceasst50.html#LucioZST11}, volume = 50, year = 2011 }