Tayssir Touili

2007

Ahmed Bouajjani, Jan Strejček, and Tayssir Touili:
On Symbolic Verification of Weakly Extended PAD,
Proceedings of the 13th International Workshop on Expressiveness in Concurrency (EXPRESS 2006), Elsevier, 2007, 47-64. [bibtex, url]