-
Selection by year
-
Selection by authors
-
Complete lists
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)