@inproceedings{958862,
 address = {Heidelberg},
 author = {Jiří Barnat and Ivana Černá and Jana Tůmová},
 booktitle = {MEMICS 2011},
 doi = {http://dx.doi.org/10.1007/978-3-642-25929-6_8},
 edition = {LNCS 7119},
 howpublished = {tištěná verze "print"},
 isbn = {978-3-642-25928-9},
 keywords = {model checking; linear temporal properties with degradation},
 language = {eng},
 location = {Heidelberg},
 pages = {84 - 93},
 publisher = {Springer},
 title = {Timed Automata Approach to Verification of Systems with Degradation},
 year = {2012}
}