@inproceedings{BCMS2005,
 address = {Lisboa, Portugal},
 author = {Luboš Brim and Ivana Černá and Pavel Moravec and Jiří Šimša},
 booktitle = {Proceedings of the 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2005)},
 keywords = {accepting predecessors; LTL model checking},
 language = {eng},
 location = {Lisboa, Portugal},
 pages = {1-12},
 publisher = {TU Munchen},
 title = {How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors},
 year = {2005}
}