×

zbMATH — the first resource for mathematics

An inverse method for parametric timed automata. (English) Zbl 1187.68286

MSC:
68Q45 Formal languages and automata
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] DOI: 10.1016/0304-3975(94)90010-8 · Zbl 0803.68071 · doi:10.1016/0304-3975(94)90010-8
[2] DOI: 10.1007/s10703-008-0061-x · Zbl 1165.68401 · doi:10.1007/s10703-008-0061-x
[3] DOI: 10.1016/j.scico.2006.03.009 · Zbl 1171.68540 · doi:10.1016/j.scico.2006.03.009
[4] DOI: 10.1016/j.ipl.2006.11.018 · Zbl 1184.68337 · doi:10.1016/j.ipl.2006.11.018
[5] DOI: 10.1007/BFb0027241 · doi:10.1007/BFb0027241
[6] Hune T., Journal of Logic and Algebraic Programming
[7] DOI: 10.1007/s100090050010 · Zbl 1060.68577 · doi:10.1007/s100090050010
[8] DOI: 10.1109/32.159837 · Zbl 05114393 · doi:10.1109/32.159837
[9] Schrijver Alexander, Theory of linear and integer programming (1986)
[10] Simons D., IJSTTT 3 pp 469–
[11] DOI: 10.1023/A:1008734703554 · Zbl 0971.68096 · doi:10.1023/A:1008734703554
[12] DOI: 10.1109/TSE.2005.13 · Zbl 05113134 · doi:10.1109/TSE.2005.13
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.