Javier Esparza, Petr Jancar, Alexander Miller. On the Complexity of Consistency and Complete State Coding for Signal Transition Graphs. In Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 28-30 June 2006, Turku, Finland. pages 47-56, IEEE Computer Society, 2006. [doi]
Abstract is missing.