ChengsongTanPhdThesis/example.bib
changeset 603 370fe1dde7c7
parent 602 46db6ae66448
child 605 ed53ce26ecb6
--- a/ChengsongTanPhdThesis/example.bib	Fri Sep 23 00:44:22 2022 +0100
+++ b/ChengsongTanPhdThesis/example.bib	Sat Sep 24 00:49:10 2022 +0100
@@ -5,6 +5,13 @@
 
 
 %% Saved with string encoding Unicode (UTF-8) 
+
+@unpublished{CSL22
+author = "Chengsong Tan and Christian Urban",
+title = "POSIX Lexing with Bitcoded Derivatives",
+note = "submitted",
+}
+
 @INPROCEEDINGS{Verbatim,  author={Egolf, Derek and Lasser, Sam and Fisher, Kathleen},  booktitle={2021 IEEE Security and Privacy Workshops (SPW)},   title={Verbatim: A Verified Lexer Generator},   year={2021},  volume={},  number={},  pages={92-100},  doi={10.1109/SPW53761.2021.00022}}