803 followers RiuNet @RiuNetUPV A split-based incremental deterministic automata minimization http://t.co/xNMWNFhyMF 15 Jun 2015 Reply Repost Favourite