%0 Journal Article %1 journals/fuin/ShilovGC06 %A Shilov, Nikolay V. %A Garanina, Natalya Olegovna %A Choe, K.-M. %D 2006 %J Fundam. Informaticae %K dblp %N 1-3 %P 347-361 %T Update and Abstraction in Model Checking of Knowledge and Branching Time. %U http://dblp.uni-trier.de/db/journals/fuin/fuin72.html#ShilovGC06 %V 72

@article{journals/fuin/ShilovGC06, added-at = {2022-02-15T00:00:00.000+0100}, author = {Shilov, Nikolay V. and Garanina, Natalya Olegovna and Choe, K.-M.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2d2e585a0ca6aa8c3793d374ce6534b67/dblp}, ee = {http://content.iospress.com/articles/fundamenta-informaticae/fi72-1-3-26}, interhash = {c2d856062c05b6a68e694a706f658ee5}, intrahash = {d2e585a0ca6aa8c3793d374ce6534b67}, journal = {Fundam. Informaticae}, keywords = {dblp}, number = {1-3}, pages = {347-361}, timestamp = {2022-03-01T06:21:12.000+0100}, title = {Update and Abstraction in Model Checking of Knowledge and Branching Time.}, url = {http://dblp.uni-trier.de/db/journals/fuin/fuin72.html#ShilovGC06}, volume = 72, year = 2006 }