%0 Journal Article %1 journals/cj/XuSCM04 %A Xu, Ying %A Song, Xiaoyu %A Cerny, Eduard %A Mohamed, Otmane Aït %D 2004 %J Comput. J. %K dblp %N 1 %P 71-84 %T Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (MDGs). %U http://dblp.uni-trier.de/db/journals/cj/cj47.html#XuSCM04 %V 47

@article{journals/cj/XuSCM04, added-at = {2011-06-28T00:00:00.000+0200}, author = {Xu, Ying and Song, Xiaoyu and Cerny, Eduard and Mohamed, Otmane Aït}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ef866277b8d16334e73e8a6a35504522/dblp}, ee = {http://dx.doi.org/10.1093/comjnl/47.1.71}, interhash = {63e1c19111e5bb22f66587d5d53859ba}, intrahash = {ef866277b8d16334e73e8a6a35504522}, journal = {Comput. J.}, keywords = {dblp}, number = 1, pages = {71-84}, timestamp = {2016-02-02T09:09:35.000+0100}, title = {Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (MDGs).}, url = {http://dblp.uni-trier.de/db/journals/cj/cj47.html#XuSCM04}, volume = 47, year = 2004 }