@inproceedings{Moravec2005,
 address = {Znojmo, Czech Republic},
 author = {Pavel Moravec},
 booktitle = {1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005)},
 keywords = {model checking; partial order reduction; ample sets},
 language = {eng},
 location = {Znojmo, Czech Republic},
 pages = {186-192},
 publisher = {FI MU Report Series},
 title = {How to Cope with Higher Dependency in Partial Order Reduction for LTL Model Checking},
 url = {http://www.fi.muni.cz/memics05/},
 year = {2005}
}