@article{林运国_2191, author = {[林运国, 雷红轩, 李永明]}, title = {量子马尔可夫链安全性模型检测}, publisher = {电子学报}, year = {2014}, journal = {电子学报}, volume = {42}, number = {11}, eid = {2191}, pages = {2191-2197}, keywords = {

量子马尔可夫链;模型检测;安全性;量子有穷自动机;广义量子loop程序

}, doi = https://www.ejournal.org.cn/CN/10.3969/j.issn.0372-2112.2014.11.010 }