%0 Journal Article %1 journals/chinaf/DongZSL12 %A Dong, Wei %A Zhao, Changzhi %A Shu, Shaoxian %A Leucker, Martin %D 2012 %J SCIENCE CHINA Information Sciences %K dblp %N 12 %P 2723-2737 %T Anticipatory active monitoring for safety- and security-critical software. %U http://dblp.uni-trier.de/db/journals/chinaf/chinaf55.html#DongZSL12 %V 55

@article{journals/chinaf/DongZSL12, added-at = {2013-01-10T00:00:00.000+0100}, author = {Dong, Wei and Zhao, Changzhi and Shu, Shaoxian and Leucker, Martin}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2e1a1385b94b9b74be404657b1c721c5b/dblp}, ee = {http://dx.doi.org/10.1007/s11432-012-4739-8}, interhash = {a7f89ebbf1659671218d5c7e0bf90733}, intrahash = {e1a1385b94b9b74be404657b1c721c5b}, journal = {SCIENCE CHINA Information Sciences}, keywords = {dblp}, number = 12, pages = {2723-2737}, timestamp = {2016-02-02T06:12:29.000+0100}, title = {Anticipatory active monitoring for safety- and security-critical software.}, url = {http://dblp.uni-trier.de/db/journals/chinaf/chinaf55.html#DongZSL12}, volume = 55, year = 2012 }