Jump to : Keywords | Contact | BibTex reference | EndNote reference |

andre:hal-02498022

E. André, D. Lime, N. Markey. Language Preservation Problems in Parametric Timed Automata. Logical Methods in Computer Science, Extended version of the paper of the name published in the proceedings of FORMATS 2015, 16(1), January 2020.

Keywords

[ Timed systems ] [ Timing parameters ] [ Language preservation ] [ Trace preservation ] [ Lu-pta ]

Contact

Nicolas Markey http://people.rennes.inria.fr/Nicolas.Markey/

BibTex Reference

@article{andre:hal-02498022,
   Author = {André, E. and Lime, D. and Markey, N.},
   Title = {{Language Preservation Problems in Parametric Timed Automata}},
   Journal = {{Logical Methods in Computer Science}},
   Volume = {16},
   Number = {1},
   Publisher = {{Logical Methods in Computer Science Association}},
   Month = {January},
   Year = {2020}
}

EndNote Reference [help]

Get EndNote Reference (.ref)