Automated synthesis algorithm for the state minimization of finite sequential machines

Items in CURVE are protected by copyright, with all rights reserved, unless otherwise indicated. They are made available with permission from the author(s).