Lan Lin, Yufeng Xue, Fengguang Song. An Algorithm for Forward Reduction in Sequence-Based Software Specification. International Journal of Software Engineering and Knowledge Engineering, 26(9-10):1431-1452, 2016. [doi]
@article{LinXS16, title = {An Algorithm for Forward Reduction in Sequence-Based Software Specification}, author = {Lan Lin and Yufeng Xue and Fengguang Song}, year = {2016}, doi = {10.1142/S0218194016400118}, url = {http://dx.doi.org/10.1142/S0218194016400118}, researchr = {https://researchr.org/publication/LinXS16}, cites = {0}, citedby = {0}, journal = {International Journal of Software Engineering and Knowledge Engineering}, volume = {26}, number = {9-10}, pages = {1431-1452}, }