justhsu
/
justin-site
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Update header.

This commit is contained in:
Justin Hsu 2016-02-18 21:27:50 -05:00
parent b96ce0f114
commit 03140e3b8b
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
bibs/header.bib
View File

@ -590,8 +590,10 @@
@STRING{esop07 = esop # ", Braga, Portugal" }
@STRING{esop09 = esop # ", York, England" }
@STRING{esop11 = esop # ", Saarbr{\"u}cken, Germany" }
@STRING{esop12 = esop # ", Tallinn, Estonia" }
@STRING{esop13 = esop # ", Rome, Italy" }
@STRING{esop14 = esop # ", Grenoble, France" }
@STRING{esop16 = esop # ", Eindhoven, The Netherlands" }
% ---
@STRING{fesca14 = fesca # ", Grenoble, France" }
% ---
@ -647,9 +649,12 @@
@STRING{sas95 = sas # ", Glasgow, Scotland" }
@STRING{sas96 = sas # ", Aachen, Germany" }
@STRING{sas97 = sas # ", Paris, France" }
@STRING{sas00 = sas # ", Santa Barbara, California" }
@STRING{sas01 = sas # ", Paris, France" }
@STRING{sas04 = sas # ", Verona, Italy" }
@STRING{sas05 = sas # ", London, England" }
@STRING{sas10 = sas # ", Perpignan, France" }
@STRING{sas14 = sas # ", Munich, Germany" }
% ---
@STRING{sosp93 = sosp # ", Asheville, North Carolina" }
% ---