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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.