Algebraic Methods for Verification and Control of Discrete Event Dynamic Systems
University dissertation from Linköping : Linköping University
Abstract:
This dissertation MIGHT be available in PDF-format. Check this page to see if it is available for download.