Email Address * *
Name
Subject *
Message * Modular verification and supervisory controller design for discrete-event systems using abstraction and incremental construction. - 1243544856 - 9781243544858