1,434 followers
A refinement relation for families of timed automata https://t.co/ShAaLKDyQl
A refinement relation for families of timed automata https://t.co/ShAaLKDyQl
Sound Transpilation from Binary to Machine-Independent Code. https://t.co/5W0MyIlyMI
Sound Transpilation from Binary to Machine-Independent Code https://t.co/xqQiwUjjO0
Allberson Dantas https://t.co/ni5Iwx1aCE