%0 Journal Article %1 journals/tsmc/DingJZZ08 %A Ding, Zhijun %A Jiang, Changjun %A Zhou, MengChu %A Zhang, Yaying %D 2008 %J IEEE Trans. Syst. Man Cybern. Part A %K dblp %N 4 %P 791-801 %T Preserving Languages and Properties in Stepwise Refinement-Based Synthesis of Petri Nets. %U http://dblp.uni-trier.de/db/journals/tsmc/tsmca38.html#DingJZZ08 %V 38

@article{journals/tsmc/DingJZZ08, added-at = {2020-05-25T00:00:00.000+0200}, author = {Ding, Zhijun and Jiang, Changjun and Zhou, MengChu and Zhang, Yaying}, biburl = {https://www.bibsonomy.org/bibtex/20e4aca8fb4a40ef871f7eebe49b83f2e/dblp}, ee = {https://doi.org/10.1109/TSMCA.2008.923064}, interhash = {e7db1f818f7a04c37538f80d22725aa1}, intrahash = {0e4aca8fb4a40ef871f7eebe49b83f2e}, journal = {IEEE Trans. Syst. Man Cybern. Part A}, keywords = {dblp}, number = 4, pages = {791-801}, timestamp = {2020-05-26T11:47:27.000+0200}, title = {Preserving Languages and Properties in Stepwise Refinement-Based Synthesis of Petri Nets.}, url = {http://dblp.uni-trier.de/db/journals/tsmc/tsmca38.html#DingJZZ08}, volume = 38, year = 2008 }