Index of /sw/docu/papers

	Name	Last modified	Size	Description
	Parent Directory		-
	vaclavovic_proof.pdf	2013-10-14 18:07	782K
	vaclavovic-iag2013.pdf	2014-04-09 19:07	156K
	2015-Brno-Seminar-Anubis-final.pdf	2015-05-18 17:20	580K
	2013-ASR-preprint.pdf	2014-04-07 09:02	664K