%0 Journal Article %1 journals/jam/ShanQCQ15 %A Shan, Lai-Xiang %A Qin, Jun %A Chen, Mingshi %A Qin, Zheng %D 2015 %J J. Appl. Math. %K %P 516104:1-516104:10 %T Degeneralization Algorithm for Generation of Büchi Automata Based on Contented Situation. %U http://dblp.uni-trier.de/db/journals/jam/jam2015.html#ShanQCQ15 %V 2015

@article{journals/jam/ShanQCQ15, added-at = {2023-12-13T01:05:36.000+0100}, author = {Shan, Lai-Xiang and Qin, Jun and Chen, Mingshi and Qin, Zheng}, biburl = {https://www.bibsonomy.org/bibtex/2f85e0c803feac77d36a86d19f0d43110/admin}, ee = {https://www.wikidata.org/entity/Q59111869}, interhash = {6cb46972a3e4a775997fa43eed4f3846}, intrahash = {f85e0c803feac77d36a86d19f0d43110}, journal = {J. Appl. Math.}, keywords = {}, pages = {516104:1-516104:10}, timestamp = {2023-12-13T01:05:36.000+0100}, title = {Degeneralization Algorithm for Generation of Büchi Automata Based on Contented Situation.}, url = {http://dblp.uni-trier.de/db/journals/jam/jam2015.html#ShanQCQ15}, volume = 2015, year = 2015 }