DMCA

Verification of Asynchronous Circuits using Timed Automata

by Marius Bozga , Hou Jianmin , Oded Maler , Sergio Yovine
Citations:28 - 4 self