1,432 followers RepositóriUM @repositorium A refinement relation for families of timed automata https://t.co/ShAaLKDyQl 16 Jan 2021 Reply Repost Favourite