Robert Eschbach, Lan Lin, Jesse H. Poore. Applying string-rewriting to sequence-based specification. Formal Methods in System Design, 43(3):414-449, 2013. [doi]
@article{EschbachLP13,
title = {Applying string-rewriting to sequence-based specification},
author = {Robert Eschbach and Lan Lin and Jesse H. Poore},
year = {2013},
doi = {10.1007/s10703-013-0185-5},
url = {http://dx.doi.org/10.1007/s10703-013-0185-5},
researchr = {https://researchr.org/publication/EschbachLP13},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {43},
number = {3},
pages = {414-449},
}