@inproceedings{1204495,
 address = {Brno, Czech Republic},
 author = {Peter Bezděk and Nikola Beneš and Jiří Barnat and Ivana Černá},
 booktitle = {MEMICS 2014},
 editor = {Petr Hliněný, Zdeněk Dvořák, Jiří Jaroš, Jan Kofroň, Jan Kořenek, Petr Matula, Karel Pala},
 howpublished = {tištěná verze "print"},
 isbn = {978-80-214-5022-6},
 keywords = {Linear Temporal Logic; Parameter Synthesis; Parametric Timed Automata; Automata-based Model Checking},
 language = {eng},
 location = {Brno, Czech Republic},
 pages = {28-39},
 publisher = {NOVPRESS},
 title = {LTL Model Checking of Parametric Timed Automata},
 year = {2014}
}