(Q131128948)
Statements
Adaptive variable reordering for symbolic model checking (English)
1 reference
Gila Kamhi
1 reference
Limor Fix
1 reference
5 February 2004
1 reference
359-365
1 reference
scientific article published on 05 February 2004
No description defined