%0 Journal Article %1 journals/ctw/ZhengTZ16 %A Zheng, Zixia %A Tian, Jin %A Zhao, Tingdi %D 2016 %J Cogn. Technol. Work. %K dblp %N 4 %P 777-791 %T Refining operation guidelines with model-checking-aided FRAM to improve manufacturing processes: a case study for aeroengine blade forging. %U http://dblp.uni-trier.de/db/journals/ctw/ctw18.html#ZhengTZ16 %V 18

@article{journals/ctw/ZhengTZ16, added-at = {2020-04-09T00:00:00.000+0200}, author = {Zheng, Zixia and Tian, Jin and Zhao, Tingdi}, biburl = {https://www.bibsonomy.org/bibtex/2eb78c84c5aa15aa85986087b5bbb18f7/dblp}, ee = {https://doi.org/10.1007/s10111-016-0391-1}, interhash = {2bbfa2b0f29d606c11b833e48a6a4bb7}, intrahash = {eb78c84c5aa15aa85986087b5bbb18f7}, journal = {Cogn. Technol. Work.}, keywords = {dblp}, number = 4, pages = {777-791}, timestamp = {2020-04-10T11:46:57.000+0200}, title = {Refining operation guidelines with model-checking-aided FRAM to improve manufacturing processes: a case study for aeroengine blade forging.}, url = {http://dblp.uni-trier.de/db/journals/ctw/ctw18.html#ZhengTZ16}, volume = 18, year = 2016 }