226 followers Verification papers @verif_papers Timed Mobility and Timed Communication for Critical Systems. - Bogdan Aman, Gabriel Ciobanu http://t.co/b9l3KjfjgV 15 May 2015 Reply Repost Favourite