Detecting State Coding Conflicts in STGs Using Integer Programming (2002)

by Victor Khomenko , Maciej Koutny , Alex Yakovlev
Venue:Proc. of DATE’02, IEEE Comp. Soc
Citations:14 - 8 self