"Improving the Efficiency of Formal Verification: The Case of Clock-Domain ..."

Guillaume Plassan et al. (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics