I believe people withdrew them all but if you havent got them from there then contact support@novaexchnage.com

Also Novaexchange has kindly listed Tetra which can be traded here: https://novaexchange.com/market/BTC_%24TRA/