%0 Thesis %1 phd/basesearch/Li13d %A Li, Wenchao %D 2013 %K %T Specification Mining: New Formalisms, Algorithms and Applications.

@phdthesis{phd/basesearch/Li13d, added-at = {2023-12-13T04:29:19.000+0100}, author = {Li, Wenchao}, biburl = {https://www.bibsonomy.org/bibtex/2e31aa26e311e41f1519f498e10161210/admin}, ee = {https://www.base-search.net/Record/a0beb85f17179bd11abe3c3c2a6ddf60c3e6e979736c99512aaafcc9f707c99f}, interhash = {96788b3895592877ac5154bf5117f70a}, intrahash = {e31aa26e311e41f1519f498e10161210}, keywords = {}, note = {base-search.net (ftcdlib:qt4027r49r)}, school = {University of California, Berkeley, USA}, timestamp = {2023-12-13T04:29:19.000+0100}, title = {Specification Mining: New Formalisms, Algorithms and Applications.}, year = 2013 }