@COMMENT{{This file has been generated by bib2bib 1.80}}
@COMMENT{{Command line: bib2bib -ob 2000.bib -s author -c year=2000 publications.bib}}
@INPROCEEDINGS{Grover:2000:LTF,
AUTHOR = {Grover, Claire and Matheson, Colin and Mikheev, Andrei
and Moens, Marc},
BOOKTITLE = {Proceedings of the 2nd International Conference on
Language Resources and Evaluation (LREC 2000)},
TITLE = {{LT TTT} - {A} Flexible Tokenisation Tool},
ADDRESS = {Athens, Greece},
URL = {./papers/Grover2000LTTTT.pdf},
YEAR = {2000},
KEYWORDS = {ttt, }
}
@ARTICLE{Holt:2000:NLS,
AUTHOR = {Holt, Alexander and Klein, Ewan and Grover, Claire},
TITLE = {Natural Language Specifications for Hardware
Verification},
JOURNAL = {Journal of Language and Computation},
VOLUME = {1},
NUMBER = {2},
PAGES = {275--282},
YEAR = {2000},
KEYWORDS = {prosper, }
}
This file has been generated by bibtex2html 1.80