@inproceedings{KRS2005,
 address = {Berlin, Heidelberg},
 author = {Mojmír Křetínský and Vojtěch Řehák and Jan Strejček},
 booktitle = {FSTTCS 2005: 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, 25th International Conference},
 isbn = {3-540-30495-9},
 keywords = {process rewrite systems; state extension; infinite-state; (un)decidability; HM logic; reachability},
 language = {eng},
 location = {Berlin, Heidelberg},
 pages = {213-224},
 publisher = {Springer-Verlag},
 title = {Reachability of Hennessy - Milner properties for weakly extended PRS},
 year = {2005}
}