90 followers CONVECS team @convecs New journal paper about the Model Checking Contest https://t.co/wsVnuxa7fy #springerlink 06 Sep 2016 Reply Repost Favourite