@inproceedings{BST2007,
 address = {Neuveden},
 author = {Ahmed Bouajjani and Jan Strejček and Tayssir Touili},
 booktitle = {Proceedings of the 13th International Workshop on Expressiveness in Concurrency (EXPRESS 2006)},
 keywords = {rewrite systems; infinite-state systems; symbolic reachability analysis; model checking},
 language = {eng},
 location = {Neuveden},
 pages = {47-64},
 publisher = {Elsevier},
 title = {On Symbolic Verification of Weakly Extended PAD},
 url = {http://dx.doi.org/10.1016/j.entcs.2006.10.053},
 year = {2007}
}