Jorgiano Márcio Bruno Vidal

Publication Activity (10 Years)

Years Active: 2001-2001
Publications (10 Years): 0

Publications

David Déharbe, Jorgiano Márcio Bruno Vidal
Optimizing BDD-Based Verification Analysing Variable Dependencies. SBCCI (2001)