Welcome to minerva3, auxiliary server of KNOT@FIT

For more informations visit http://www.fit.vutbr.cz/research/groups/knot/ or our main webserver on http://knot.fit.vutbr.cz/