%0 Conference Paper %1 conf/fase/LinPEHR13 %A Lin, Lan %A Poore, Jesse H. %A Eschbach, Robert %A Hierons, Robert M. %A Robinson-Mallett, Christopher %B FASE %D 2013 %E Cortellessa, Vittorio %E Varró, Dániel %I Springer %K %P 179-193 %T Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification. %U http://dblp.uni-trier.de/db/conf/fase/fase2013.html#LinPEHR13 %V 7793 %@ 978-3-642-37056-4

@inproceedings{conf/fase/LinPEHR13, added-at = {2023-12-12T20:43:14.000+0100}, author = {Lin, Lan and Poore, Jesse H. and Eschbach, Robert and Hierons, Robert M. and Robinson-Mallett, Christopher}, biburl = {https://www.bibsonomy.org/bibtex/20227169c3a7ffdade90d34779f252b0e/admin}, booktitle = {FASE}, crossref = {conf/fase/2013}, editor = {Cortellessa, Vittorio and Varró, Dániel}, ee = {https://doi.org/10.1007/978-3-642-37057-1_13}, interhash = {335996d3a6ad94d7b584a5d25898709c}, intrahash = {0227169c3a7ffdade90d34779f252b0e}, isbn = {978-3-642-37056-4}, keywords = {}, pages = {179-193}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T20:43:14.000+0100}, title = {Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification.}, url = {http://dblp.uni-trier.de/db/conf/fase/fase2013.html#LinPEHR13}, volume = 7793, year = 2013 }