Journal article
Optimization of Timed Automata Models using Mixed-Integer Programming.
Publication Details
Authors: | Panek, S.; Stursberg, O.; Engell, S. |
Publication year: | 2004 |
Journal: | Formal Modeling and Analysis of Timed Systems |
Pages range : | 73–87 |
Volume number: | 2791 of LNCS |
