Index of /jeremy/public_html/pubs/ticket/final

	Name	Last modified	Size	Description
	Parent Directory		-
	final-ticket.dvi	2017-07-25 11:27	80K
	final-ticket.pdf	2017-08-17 13:20	201K
	final-ticket.tex	2017-08-17 17:10	117K
	splncsa.bst	2016-01-25 13:02	22K