%0 Journal Article %1 journals/fmsd/LiHSZ11 %A Li, Yongjian %A Hung, William N. N. %A Song, Xiaoyu %A Zeng, Naiju %D 2011 %J Formal Methods Syst. Des. %K dblp %N 2 %P 117-143 %T Exploring structural symmetry automatically in symbolic trajectory evaluation. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd39.html#LiHSZ11 %V 39

@article{journals/fmsd/LiHSZ11, added-at = {2020-03-13T00:00:00.000+0100}, author = {Li, Yongjian and Hung, William N. N. and Song, Xiaoyu and Zeng, Naiju}, biburl = {https://www.bibsonomy.org/bibtex/2e0d2b69aa4e7769be7f8d2b03a2421ba/dblp}, ee = {https://doi.org/10.1007/s10703-011-0119-z}, interhash = {b1e113fa89bef679e17c2087f572e8f9}, intrahash = {e0d2b69aa4e7769be7f8d2b03a2421ba}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 2, pages = {117-143}, timestamp = {2020-03-14T11:51:17.000+0100}, title = {Exploring structural symmetry automatically in symbolic trajectory evaluation.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd39.html#LiHSZ11}, volume = 39, year = 2011 }