Algebraic methods for verification and control of discrete event dynamic systems
Jonas Plantin
Bok Engelsk 1995
| Utgitt | Linköping : Department of Electrical Engineering, Linköping University , 1995
|
|---|---|
| Omfang | XII, 144 s. : ill.
|
| Opplysninger | Avhandling (tekn. lic.) - Universitetet i Linköping, 1995.
|
| Emner | |
| ISBN | 9178715733
|
