@inproceedings{Pelanek2003,
 address = {Wien},
 author = {Radek Pelánek},
 booktitle = {Proceedings of the Eight ESSLLI Student Session},
 keywords = {LTL; model checking},
 language = {eng},
 location = {Wien},
 pages = {245-254},
 publisher = {TU Wien},
 title = {LTL Hierarchies and Model Checking},
 year = {2003}
}