Towards Scenario–Based Synthesis for Parametric Timed Automata (bibtex)
by
Reference:
Towards Scenario–Based Synthesis for Parametric Timed Automata (Holger Giese), In Proceedings of the 2nd International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM), Portland, USA (ICSE 2003 Workshop 8), 2003.
Bibtex Entry:
@InProceedings{hni1545,
AUTHOR = {Giese, Holger},
TITLE = {{Towards Scenario--Based Synthesis for Parametric Timed Automata}},
YEAR = {2003},
BOOKTITLE = {Proceedings of the 2nd International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM), Portland, USA (ICSE 2003 Workshop 8)},
KEYWORDS = {Scenario-Based Synthesis, Timed Automaton, WCET}
}
Powered by bibtexbrowser