Deadlock analysis for deterministic finite state automata using affine linear models

J. Reger. Deadlock analysis for deterministic finite state automata using affine linear models. In 6th European Control Conference, ECC 2001, Porto, Portugal, September 4-7, 2001. pages 3131-3136, IEEE, 2001. [doi]

Abstract

Abstract is missing.