Skip to content

Detecting State Coding Conflicts in STGs Using Integer Programming.

Victor Khomenko, Maciej Koutny, Alexandre Yakovlev

VenueADATE
Year2002
ProceedingsDATE

Browse the full DATE paper archive.