%0 Journal Article %1 journals/isse/Zhu0DL16 %A Zhu, Huiquan %A Sun, Jing %A Dong, Jin Song %A Lin, Shang-Wei %D 2016 %J Innov. Syst. Softw. Eng. %K dblp %N 1 %P 1-26 %T From verified model to executable program: the PAT approach. %U http://dblp.uni-trier.de/db/journals/isse/isse12.html#Zhu0DL16 %V 12

@article{journals/isse/Zhu0DL16, added-at = {2020-08-13T00:00:00.000+0200}, author = {Zhu, Huiquan and Sun, Jing and Dong, Jin Song and Lin, Shang-Wei}, biburl = {https://www.bibsonomy.org/bibtex/2a0f0016fe5f0abab41af9027d8feafc6/dblp}, ee = {https://doi.org/10.1007/s11334-015-0269-z}, interhash = {2f8fbfaa357f0dc15bce20bb47a1b692}, intrahash = {a0f0016fe5f0abab41af9027d8feafc6}, journal = {Innov. Syst. Softw. Eng.}, keywords = {dblp}, number = 1, pages = {1-26}, timestamp = {2020-08-14T11:53:04.000+0200}, title = {From verified model to executable program: the PAT approach.}, url = {http://dblp.uni-trier.de/db/journals/isse/isse12.html#Zhu0DL16}, volume = 12, year = 2016 }