%0 Journal Article %1 journals/jcst/ZhangCZL96 %A Zhang, Yaoxue %A Chen, Hua %A Zhang, Yue %A Liu, Guoli %D 1996 %J J. Comput. Sci. Technol. %K dblp %N 1 %P 49-60 %T SDL-TRAN - An interactive generator for formal description language SDL. %U http://dblp.uni-trier.de/db/journals/jcst/jcst11.html#ZhangCZL96 %V 11

@article{journals/jcst/ZhangCZL96, added-at = {2011-05-16T00:00:00.000+0200}, author = {Zhang, Yaoxue and Chen, Hua and Zhang, Yue and Liu, Guoli}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2038ae7951caad32e530536b71c20d483/dblp}, ee = {http://dx.doi.org/10.1007/BF02943521}, interhash = {ac5946e8e52cbb9b9a58c5d59f0603e0}, intrahash = {038ae7951caad32e530536b71c20d483}, journal = {J. Comput. Sci. Technol.}, keywords = {dblp}, number = 1, pages = {49-60}, timestamp = {2016-02-02T01:23:46.000+0100}, title = {SDL-TRAN - An interactive generator for formal description language SDL.}, url = {http://dblp.uni-trier.de/db/journals/jcst/jcst11.html#ZhangCZL96}, volume = 11, year = 1996 }