%0 Conference Paper %1 conf/tase/FangZY19 %A Fang, Yucheng %A Zhu, Huibiao %A Yin, Jiaqi %B TASE %D 2019 %E Méry, Dominique %E Qin, Shengchao %I IEEE %K dblp %P 232-239 %T Verifying Opacity of a Modified PSTM. %U http://dblp.uni-trier.de/db/conf/tase/tase2019.html#FangZY19 %@ 978-1-7281-3342-3

@inproceedings{conf/tase/FangZY19, added-at = {2019-12-08T00:00:00.000+0100}, author = {Fang, Yucheng and Zhu, Huibiao and Yin, Jiaqi}, biburl = {https://www.bibsonomy.org/bibtex/205478ecb7109a31c0cbfd0b196434b65/dblp}, booktitle = {TASE}, crossref = {conf/tase/2019}, editor = {Méry, Dominique and Qin, Shengchao}, ee = {https://doi.org/10.1109/TASE.2019.00008}, interhash = {e9603d250f11d791874b7f846609f2b8}, intrahash = {05478ecb7109a31c0cbfd0b196434b65}, isbn = {978-1-7281-3342-3}, keywords = {dblp}, pages = {232-239}, publisher = {IEEE}, timestamp = {2019-12-10T11:39:39.000+0100}, title = {Verifying Opacity of a Modified PSTM.}, url = {http://dblp.uni-trier.de/db/conf/tase/tase2019.html#FangZY19}, year = 2019 }