Algorithmic Approach to Abstracting Linear Systems by Timed Automata*
IFAC Proceedings Volumes
doi 10.3182/20110828-6-it-1002.02568
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 2011
Authors
Publisher
Elsevier BV
Available in full text
January 1, 2011
Elsevier BV