Title
Underapproximation for model-checking based on universal circuits
Abstract
For two naturals m,n such that m
Year
DOI
Venue
2010
10.1016/j.ic.2010.01.001
Inf. Comput.
Keywords
Field
DocType
naturals m,universal circuit,combinational circuit,model checking,industrial design
Discrete mathematics,Combinatorics,Model checking,Input/output,Probability distribution,Electronic circuit,Mathematics,Bounded function
Journal
Volume
Issue
ISSN
208
4
Information and Computation
Citations 
PageRank 
References 
0
0.34
14
Authors
2
Name
Order
Citations
PageRank
Arie Matsliah124924.98
Ofer Strichman2107163.61