Home
About Journal
Instruction
Editorial Board
Aim and Scope
Publication Ethics
Download
Contact Us
中文
Author Login
Peer Review
Office Work
Editor-in-Chief
Research on ROBDD Variables Reordering Algorithm in Formal Verification
WANG Qing, YANG Mengfei
Aerospace Contrd and Application . 2008, (
2
): 29 -32 .
