245 followers Verification papers @verif_papers True State Complexity of Binary Operations on Regular Languages https://t.co/OHC3JPgFUa 11 Feb 2016 Reply Repost Favourite