Search other libraries in Michigan, and Request for delivery to your library within days.
Description
1 online resource.
Bibliography
Includes bibliographical references and index.
Contents
Pt. 1. Theory of equations over languages and automata -- pt. 2. Algorithms for solving FSM equations : BALM -- pt. 3. Application to sequential synthesis -- pt. 4. More applications of the unknown component problems.
Reproduction
Electronic reproduction. Perth, W.A. Available via World Wide Web.