On the Complexity of Consistency and Complete State Coding for Signal Transition Graphs

Javier Esparza, Petr Jancar, Alexander Miller. On the Complexity of Consistency and Complete State Coding for Signal Transition Graphs. Fundamenta Informaticae, 86(3):227-253, 2008. [doi]

Abstract

Abstract is missing.