Aufsatz in einer Fachzeitschrift
Optimization of Timed Automata Models using Mixed-Integer Programming.
Details zur Publikation
Autor(inn)en: | Panek, S.; Stursberg, O.; Engell, S. |
Publikationsjahr: | 2004 |
Zeitschrift: | Formal Modeling and Analysis of Timed Systems |
Seitenbereich: | 73–87 |
Jahrgang/Band : | 2791 of LNCS |
